1300 36 33 32

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.

Book Details

ISBN: 9780486662695
ISBN-10: 0486662691
Format: Paperback
(215mm x 136mm x 12mm)
Pages: 212
Imprint: Dover Publications Inc.
Publisher: Dover Publications Inc.
Publish Date: 1-Oct-1990
Country of Publication: United States

Reviews

» Have you read this book? We'd like to know what you think about it - write a review about First Order Mathematical Logic book by Angelo Margaris and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)

Write Review