An Outline of Mathematical Logic: Fundamental Results and Notions Explained with all Details: Synthese Library, cartea 70
Autor Andrzej Grzegorczyk Traducere de Olgierd Wojtasiewicz, Waclaw Zawadowskien Limba Engleză Paperback – 25 noi 2011
Din seria Synthese Library
- 20%
Preț: 602.14 lei - 20%
Preț: 601.55 lei - 15%
Preț: 613.80 lei - 18%
Preț: 951.53 lei - 15%
Preț: 573.68 lei - 15%
Preț: 564.27 lei - 15%
Preț: 669.59 lei - 18%
Preț: 858.26 lei - 15%
Preț: 618.50 lei -
Preț: 297.31 lei - 18%
Preț: 915.43 lei - 18%
Preț: 917.46 lei -
Preț: 426.21 lei - 5%
Preț: 358.05 lei - 15%
Preț: 613.00 lei - 18%
Preț: 921.64 lei - 15%
Preț: 617.57 lei - 18%
Preț: 1182.77 lei - 15%
Preț: 618.03 lei - 18%
Preț: 961.53 lei -
Preț: 367.70 lei - 15%
Preț: 612.68 lei - 18%
Preț: 915.29 lei - 18%
Preț: 1183.40 lei - 15%
Preț: 621.03 lei -
Preț: 380.82 lei -
Preț: 385.26 lei - 18%
Preț: 1177.80 lei - 15%
Preț: 614.24 lei - 18%
Preț: 1184.15 lei -
Preț: 366.02 lei -
Preț: 379.89 lei - 15%
Preț: 615.66 lei - 15%
Preț: 614.41 lei -
Preț: 367.49 lei - 15%
Preț: 618.19 lei
Preț: 758.74 lei
Preț vechi: 925.30 lei
-18% Nou
Puncte Express: 1138
Preț estimativ în valută:
134.24€ • 156.63$ • 117.37£
134.24€ • 156.63$ • 117.37£
Carte tipărită la comandă
Livrare economică 16-30 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9789401021142
ISBN-10: 9401021147
Pagini: 612
Ilustrații: 606 p.
Dimensiuni: 152 x 229 x 32 mm
Greutate: 0.81 kg
Ediția:Softcover reprint of the original 1st ed. 1974
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Synthese Library
Locul publicării:Dordrecht, Netherlands
ISBN-10: 9401021147
Pagini: 612
Ilustrații: 606 p.
Dimensiuni: 152 x 229 x 32 mm
Greutate: 0.81 kg
Ediția:Softcover reprint of the original 1st ed. 1974
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Synthese Library
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
to the Problems of the Foundations of Mathematics.- 1. Mathematical Domains.- 2. Examples of Mathematical Domains.- 3. Selected Kinds of Relations and Functions.- 4. Logical Analysis of Mathematical Concepts.- 5. Zermelo’s Set Theory.- 6. Set-Theoretical Approach to Relations and Functions.- 7. The Genetic Construction of Natural Numbers.- 8. Expansion of the Concept of Number.- 9. Construction of New Mathematical Domains.- 10. Subdomains, Homomorphisms, Isomorphisms.- 11. Products. Real Numbers.- I. The Classical Logical Calculus.- 1. The Classical Characteristics of the Sentential Connectives.- 2. Tautologies in the Classical Sentential Calculus and Their Applications to Certain Mathematical Considerations.- 3. An Axiomatic Approach to the Sentential Calculus.- 4. The Classical Concept of Quantifier.- 5. The Predicate Calculus in the Traditional Interpretation.- 6. Reduction of Quantifier Rules to Axioms, c.l.c Tautologies True in the Empty Domain.- 7. The Concepts of Consequence and Theory. Applications of the Logical Calculus to the Formalization of Mathematical Theories.- 8. The Logical Functional Calculus L* and Its Applications to the Formalization of Theories with Functions.- 9. Certain Syntactic Properties of the Classical Logical Calculus.- 10. On Definitions.- II. Models of Axiomatic Theories.- 1. The Concept of Satisfaction.- 2. The Concepts of Truth and Model. The Properties of the Set of Sentences True in a Model.- 3. Existence of co-complete Extensions and Denumerable Models.- 4. Some Other Concepts and Results in Model Theory.- 5. Skolem’s Elimination of Quantifiers, Consistency of Compound Theories and Interpolation Theorems.- 6. Definability.- III. Logical Hierarchy of Concepts.- 1. The Concept of Effectiveness in Arithmetic.- 2. Some Properties ofComputable Functions 417.- 3. Effectiveness of Methods of Proof.- 4. Representability of Computable Relations in Arithmetic.- 5. Problems of Decidability.- 6. Logical Hierarchy of Arithmetic Concepts.- Supplement. a Historical Outline.- Index of Symbols.- Index of Names.