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