Hogyan vásároljunk
Kézbesítés
Vásárlási tanácsadó
First Order Mathematical Logic
Angol
33 b
30 nap a termék visszaküldésére
Ezt is ajánljuk
/
Puha kötésű
7 635
Ft
/
Puha kötésű
14 644
Ft
/
Puha kötésű
16 329
Ft
/
Kemény kötésű
109 899
Ft
1. Introduction 1. Rules of Inference 2. Set Theory 3. Axiomatic Theories 4. Predicates and Quantifiers 5. Statement Connectives 6. The Interpretation of Predicates and Quantifiers 7. The Predicate Calculus and First Order Theories 8. The Omission of Parentheses 9. Substitution of a Term for a Variable 10. Removing and Inserting Quantifiers 11. Denials 2. The Predicate Calculus 12. Formulation 13. The Statement Calculus 14. The Deudction Theorem 15. The Completeness Theorem for the Statement Calculus 16. Applications of the Completeness Theorem for the Statement Calculus 17. Quantifiers 18. Equivalence and Replacement 19. Theorem Schemes 20. Normal Forms 21. Equality 3. First Order Theories 22. Definition and Examples 23. Deduction 24. Number Theory 25. Consistency and Completeness 26. Truth 27. The Completeness Theorem 28. Independence 29. Completeness and Categoricity 30. Decidability 31. Gödel's Theorem Notes; References; Addendum; Index of Symbols; Subject Index
Információ a könyvről
Angol
