First Order Mathematical Logic

by Angelo Margaris

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.

Genres: Mathematics, Logic, Reference

224 pages, Paperback

First published March 1, 1990

Reviews

[Douglas · Rating 3 out of 5]

This was a good book on Mathematical Logic. It is quite advanced and should not be your first taste of logic. I would call it a graduate level text. It is probably more appropriate for mathematicians than for philosophers. It contains sub rules for EI and UG, and detailed treatments of meta theorems. You should have a strong grasp of sentential and first order logic before attempting this book.