Well-written undergraduate-level introduction begins with symbolic logic and set theory, followed by presentation of statement calculus and predicate calculus. First-order theories are discussed in some detail, with special emphasis on number theory. After a discussion of truth and models, the completeness theorem is proved. ". . . an excellent text." - Mathematical Reviews. Exercises. Bibliography.
| ISBN: | 9780486662695 |
| Publication date: | 28th March 2003 |
| Author: | Angelo Margaris |
| Publisher: | Dover Publications an imprint of Dover Publications Inc. |
| Format: | Paperback |
| Pagination: | 211 pages |
| Series: | Dover Books on Mathematics |
| Genres: |
Mathematical logic |
Well-written undergraduate-level introduction begins with symbolic logic and set theory, followed by presentation of statement calculus and predicate calculus. First-order theories are discussed in some detail, with special emphasis on number theory. After a discussion of truth and models, the completeness theorem is proved. ". . . an excellent text." - Mathematical Reviews. Exercises. Bibliography.
First Order Mathematical Logic features in the following genres: Mathematical logic
First Order Mathematical Logic is available in Paperback
First Order Mathematical Logic was written by Angelo Margaris and published by Dover Publications an imprint of Dover Publications Inc.
First Order Mathematical Logic has 211 pages
Yes it is part of Dover Books on Mathematics series