Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic: Synthese Library, cartea 4
Editat de E.W. Bethen Limba Engleză Paperback – 12 oct 2011
| Toate formatele și edițiile | Preț | Express |
|---|---|---|
| Paperback (1) | 595.83 lei 38-44 zile | |
| SPRINGER NETHERLANDS – 12 oct 2011 | 595.83 lei 38-44 zile | |
| Hardback (1) | 616.45 lei 43-57 zile | |
| SPRINGER NETHERLANDS – 31 iul 1970 | 616.45 lei 43-57 zile |
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ț: 708.79 lei - 18%
Preț: 930.00 lei - 18%
Preț: 920.61 lei - 24%
Preț: 775.95 lei -
Preț: 426.21 lei - 18%
Preț: 699.38 lei - 18%
Preț: 866.45 lei - 18%
Preț: 917.46 lei - 5%
Preț: 358.05 lei - 15%
Preț: 557.59 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ț: 595.83 lei
Preț vechi: 744.79 lei
-20% Nou
Puncte Express: 894
Preț estimativ în valută:
105.45€ • 123.67$ • 92.46£
105.45€ • 123.67$ • 92.46£
Carte tipărită la comandă
Livrare economică 21-27 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9789401032711
ISBN-10: 9401032718
Pagini: 188
Ilustrații: XIV, 170 p.
Dimensiuni: 152 x 223 x 10 mm
Ediția:1962
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Synthese Library
Locul publicării:Dordrecht, Netherlands
ISBN-10: 9401032718
Pagini: 188
Ilustrații: XIV, 170 p.
Dimensiuni: 152 x 223 x 10 mm
Ediția:1962
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Synthese Library
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
I. Purely Implicational Logic.- 1. Introduction.- 2. Deduction-Theoretic Approach.- 3. Semantic Approach.- 4. Axiomatic Approach.- 5. Completeness.- II. Full Sentential Logic.- 6. Introduction.- 7. Introduction of Further Sentential Connectives.- III. Theory of Quantification, Equality, and Functionality.- 8. Notation.- 9. Reduction Schemata.- 10. Axiomatic Method.- 11. Weak Completeness Theorems.- 12. Equality.- 13. Functionality.- IV. Completeness of Elementary Logic.- 14. Introduction.- 15. Quantification Theory.- 16. Theory of Equality and Functionality.- V. The Formalization of Arithmetic and its Limitations.- 17. An Axiom System for Arithmetic.- 18. Syntactic Incompleteness.- 19. Semantic Incompleteness.- 20. Logic of Higher Order.- VI. The Theory of Definition.- 21. Introduction.- 22. Definability of Primitive Notions.- 23. Padoa’s Method.- 24. Definition-Theoretic Incompleteness.- VII. On Machines Which Prove Theorems.- 25. Introduction — Computation and Formal Deduction.- 26. Formal Deduction and Computing Machines.- 27. The Subformula Principle.- 28. Semantic Tableaux and Natural Deduction.- 29. Complications.- 30. Introduction of New Individual Parameters.- 31. Types of Logical Problems.- 32. Concluding Remarks.- Appendix: Supplementary Explanations.- 33. Formal Description of Deduction by Closed Semantic Tableaux.- 34. Independence.- 35. Intuitionistic Logic and Minimal Calculus.- 37. Elementary Logic with Equality and Terms.- 39. Semantic Rules for Quantification Theory.- 40. Deduction-Theoretic Treatment of the Theory of Quantification.- 41. Numerical Computation.- 42. The Interpolation Theorem of Craig-Lyndon.- List of Schemata and Axioms.- (A) Sources.- (B) Recommended Reading.- (C) Periodicals.- Index of Authors and Subjects.