Ship-Ship-Hooray! Free Shipping on $25+ Details >
First Order Mathematical Logic

First Order Mathematical Logic - 90 edition

First Order Mathematical Logic - 90 edition

ISBN13: 9780486662695

ISBN10: 0486662691

First Order Mathematical Logic by Angelo Margaris - ISBN 9780486662695
Cover type: Paperback
Edition: 90
Copyright: 1990
Publisher: Dover Publications, Inc.
Published: 1990
International: No
First Order Mathematical Logic by Angelo Margaris - ISBN 9780486662695

ISBN13: 9780486662695

ISBN10: 0486662691

Cover type: Paperback
Edition: 90

List price: $12.95

All of our used books are 100% hand-inspected and guaranteed! Happy you, happy us.

Ships directly from us
You Save $8.45 (65%)
$4.50

Well, that's no good. Unfortunately, this edition is currently out of stock. Please check back soon.

Summary

Exercises. Bibliography.

Table of Contents

Table of Contents

1. Introduction nbsp; 1. Rules of Inference nbsp; 2. Set Theory nbsp; 3. Axiomatic Theories nbsp; 4. Predicates and Quantifiers nbsp; 5. Statement Connectives nbsp; 6. The Interpretation of Predicates and Quantifiers nbsp; 7. The Predicate Calculus and First Order Theories nbsp; 8. The Omission of Parentheses nbsp; 9. Substitution of a Term for a Variable nbsp; 10. Removing and Inserting Quantifiers nbsp; 11. Denials 2. The Predicate Calculus nbsp; 12. Formulation nbsp; 13. The Statement Calculus nbsp; 14. The Deudction Theorem nbsp; 15. The Completeness Theorem for the Statement Calculus nbsp; 16. Applications of the Completeness Theorem for the Statement Calculus nbsp; 17. Quantifiers nbsp; 18. Equivalence and Replacement nbsp; 19. Theorem Schemes nbsp; 20. Normal Forms nbsp; 21. Equality 3. First Order Theories nbsp; 22. Definition and Examples nbsp; 23. Deduction nbsp; 24. Number Theory nbsp; 25. Consistency and Completeness nbsp; 26. Truth nbsp; 27. The Completeness Theorem nbsp; 28. Independence nbsp; 29. Completeness and Categoricity nbsp; 30. Decidability nbsp; 31. Gödel's Theorem nbsp; Notes; References; Addendum; Index of Symbols; Subject Index