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ă Hardback – 31 iul 1970
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 550.56 lei 39-44 zile | |
SPRINGER NETHERLANDS – 12 oct 2011 | 550.56 lei 39-44 zile | |
Hardback (1) | 630.41 lei 6-8 săpt. | |
SPRINGER NETHERLANDS – 31 iul 1970 | 630.41 lei 6-8 săpt. |
Din seria Synthese Library
- Preț: 543.27 lei
- 15% Preț: 627.68 lei
- 18% Preț: 973.28 lei
- 15% Preț: 586.66 lei
- 18% Preț: 888.67 lei
- 15% Preț: 577.01 lei
- 15% Preț: 684.77 lei
- 18% Preț: 877.84 lei
- 15% Preț: 632.51 lei
- Preț: 282.33 lei
- Preț: 435.68 lei
- 5% Preț: 365.97 lei
- 15% Preț: 626.86 lei
- 18% Preț: 942.69 lei
- 15% Preț: 631.54 lei
- 18% Preț: 1209.87 lei
- 15% Preț: 632.01 lei
- 18% Preț: 983.50 lei
- Preț: 383.18 lei
- 15% Preț: 626.55 lei
- 18% Preț: 936.20 lei
- 18% Preț: 1210.53 lei
- 15% Preț: 635.09 lei
- Preț: 389.24 lei
- Preț: 393.78 lei
- 18% Preț: 1204.79 lei
- 15% Preț: 628.14 lei
- 18% Preț: 1211.29 lei
- Preț: 374.09 lei
- Preț: 388.27 lei
- 15% Preț: 629.60 lei
- 15% Preț: 628.32 lei
- Preț: 375.60 lei
- 15% Preț: 632.17 lei
Preț: 630.41 lei
Preț vechi: 741.66 lei
-15% Nou
Puncte Express: 946
Preț estimativ în valută:
120.70€ • 125.69$ • 100.15£
120.70€ • 125.69$ • 100.15£
Carte tipărită la comandă
Livrare economică 13-27 februarie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9789027700698
ISBN-10: 9027700699
Pagini: 188
Ilustrații: XIV, 170 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.44 kg
Ediția:1962
Editura: SPRINGER NETHERLANDS
Colecția Springer
Seria Synthese Library
Locul publicării:Dordrecht, Netherlands
ISBN-10: 9027700699
Pagini: 188
Ilustrații: XIV, 170 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.44 kg
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.