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
Din seria Synthese Library
- 18%
Preț: 951.53 lei - 18%
Preț: 858.26 lei - 18%
Preț: 917.46 lei - 18%
Preț: 1181.54 lei - 15%
Preț: 618.87 lei -
Preț: 426.21 lei - 15%
Preț: 639.98 lei - 18%
Preț: 930.00 lei - 18%
Preț: 925.58 lei - 15%
Preț: 613.00 lei - 18%
Preț: 915.29 lei - 15%
Preț: 612.05 lei - 18%
Preț: 1185.66 lei - 15%
Preț: 618.03 lei - 18%
Preț: 961.53 lei -
Preț: 369.60 lei - 15%
Preț: 612.68 lei - 18%
Preț: 910.31 lei - 18%
Preț: 1183.40 lei - 15%
Preț: 614.60 lei -
Preț: 384.38 lei -
Preț: 385.26 lei - 18%
Preț: 1177.80 lei - 15%
Preț: 614.24 lei - 18%
Preț: 1177.92 lei -
Preț: 368.38 lei -
Preț: 383.23 lei - 15%
Preț: 609.39 lei - 15%
Preț: 614.41 lei -
Preț: 369.85 lei - 15%
Preț: 618.19 lei - 15%
Preț: 646.33 lei - 18%
Preț: 915.73 lei -
Preț: 375.24 lei - 18%
Preț: 914.06 lei - 18%
Preț: 915.29 lei - 18%
Preț: 861.43 lei - 18%
Preț: 909.51 lei - 15%
Preț: 611.57 lei -
Preț: 403.05 lei
Preț: 595.36 lei
Preț vechi: 744.20 lei
-20%
Puncte Express: 893
Carte tipărită la comandă
Livrare economică 24-30 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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.