Description
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.

Author: Margaris

VAT: No

Minimum Order Quantity: 0

Delivery:  Usually ships in 28 days. Import title.    

All UK orders are POST FREE!

All prices shown include applicable taxes.