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.
Buy First Order Mathematical Logic book by Angelo Margaris from Australia's Online Bookstore, Boomerang Books.
(215mm x 136mm x 12mm)
Dover Publications Inc.
Publisher: Dover Publications Inc.
Country of Publication: