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 |