Skip to main content alibris logo

First Order Mathematical Logic

by

First Order Mathematical Logic - Margaris, Angelo
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

Well-written undergraduate-level introduction begins with symbolic logic and set theory, followed by presentation of statement calculus and predicate calculus. Also covers first-order theories, completeness theorem, Godel's incompleteness theorem, much more. Exercises. Bibliography.

loading
First Order Mathematical Logic 1990, Dover Publications, New York, NY

ISBN-13: 9780486662695

Trade paperback