Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995: Synthese Library, cartea 280
Editat de Andrea Cantini, Ettore Casari, Pierluigi Minarien Limba Engleză Hardback – 30 sep 1999
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 640.37 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 7 dec 2010 | 640.37 lei 6-8 săpt. | |
Hardback (1) | 646.62 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 30 sep 1999 | 646.62 lei 6-8 săpt. |
Din seria Synthese Library
- 15% Preț: 638.43 lei
- 18% Preț: 989.98 lei
- 15% Preț: 596.69 lei
- 18% Preț: 903.93 lei
- 15% Preț: 586.88 lei
- 15% Preț: 696.50 lei
- 18% Preț: 892.90 lei
- 15% Preț: 643.34 lei
- Preț: 282.33 lei
- 5% Preț: 372.19 lei
- Preț: 443.10 lei
- 15% Preț: 637.59 lei
- 18% Preț: 958.88 lei
- 15% Preț: 642.36 lei
- 18% Preț: 1230.66 lei
- 15% Preț: 642.83 lei
- 18% Preț: 1000.39 lei
- Preț: 389.70 lei
- 15% Preț: 637.28 lei
- 18% Preț: 952.26 lei
- 18% Preț: 1231.32 lei
- 15% Preț: 645.96 lei
- Preț: 395.85 lei
- Preț: 400.47 lei
- 18% Preț: 1225.48 lei
- 15% Preț: 638.89 lei
- 18% Preț: 1232.09 lei
- Preț: 380.45 lei
- Preț: 394.87 lei
- 15% Preț: 640.37 lei
- 15% Preț: 639.08 lei
- Preț: 381.98 lei
- 15% Preț: 643.00 lei
- 15% Preț: 672.29 lei
Preț: 646.62 lei
Preț vechi: 760.73 lei
-15% Nou
Puncte Express: 970
Preț estimativ în valută:
123.74€ • 129.03$ • 102.84£
123.74€ • 129.03$ • 102.84£
Carte tipărită la comandă
Livrare economică 21 martie-04 aprilie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780792356592
ISBN-10: 0792356594
Pagini: 284
Ilustrații: VIII, 284 p.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.59 kg
Ediția:1999
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Synthese Library
Locul publicării:Dordrecht, Netherlands
ISBN-10: 0792356594
Pagini: 284
Ilustrații: VIII, 284 p.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.59 kg
Ediția:1999
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Synthese Library
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
1. Operations, Collections and Sets within a General Axiomatic Framework.- 2. Some Ins and Outs of Indispensability: A Modal-Structural Perspective.- 3. Carnap’s Remarks on Impredicative Definitions and the Genericity Theorem.- 4. Gödel, Turing, and K-Graph Machines.- 5. Linear Recurrence Relations are ?0Definable.- 6. On Applicative Theories.- 7. The Use of a Logical Principle of Uniform Boundedness in Analysis.- 8. Epsilon-Substitution Method for the Ramified Language and ?11-Comprehension Rule.- 9. The Abstract Compactness Theorem Revisited.- 10./On Sets Enclosed Between a Set and Its Double Complement.- 11. Binary Relations in the Social and Mathematical Sciences.- 12. Basic Logic and the Cube of its Extensions.- 13. Some Observations on Noncommutative Substructural Logics.- 14. On Predicate Logic as Modal Logic.- 15. A First-Order Effect and Modal Propositional Formulas.- 16. Herbrand’s Theorem for a Modal Logic.- 17. Intuitionistic Modal Logic.- 18. Dynamic Datastructures.- 19. Resolution and the Decision Problem.- 20. Modal Logic, Linear Logic, Optimal Lambda-Reduction.