First Order Mathematical Logic

(Code: 9780486662695)
£ 7.99 (9.58 €)
Currently ships 2 - 5 days
Add to cart
First Order Mathematical Logic
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. ' excellent text.' Mathematical Reviews. Exercises. Bibliography.

Illustrations: -
Author: Margaris
Size: -
Format: Book
Copyright: -
ISBN 13: 9780486662695

FREE Shipping on 3 books or more ! - for all UK orders.