EVERYDAY FREE SHIPPING on $25 & up - Excludes marketplace items & rentals.
EVERYDAY FREE SHIPPING on $25 & up - Excludes marketplace items & rentals.
EVERYDAY FREE SHIPPING on $25 & up - Excludes marketplace items & rentals
Search
First Order Mathematical Logic

First Order Mathematical Logic - 90 edition

ISBN13: 978-0486662695

Cover of First Order Mathematical Logic 90 (ISBN 978-0486662695)
ISBN13: 978-0486662695
ISBN10: 0486662691
Cover type: Paperback
Edition/Copyright: 90
Publisher: Dover Publications, Inc.
Published: 1990
International: No

List price: $11.95

new
Sold Out
FREE Shipping on $25+
  • Check back soon!
  • 30-Day Returns
  • Condition: New
Sold Out
rental
$9.99
Save $1.96 (16%)


Ships from $5.99
  • Free Return Shipping
  • Due back 12/18/2015
  • CDs or access codes
    may not be included
More Shipping Options

First Order Mathematical Logic - 90 edition

ISBN13: 978-0486662695

Angelo Margaris

ISBN13: 978-0486662695
ISBN10: 0486662691
Cover type: Paperback
Edition/Copyright: 90
Publisher: Dover Publications, Inc.

Published: 1990
International: No
Summary

Exercises. Bibliography.

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
List price: $11.95
  • Rental
  • $9.99
  • Marketplace
  • From
More Shipping Options