ENGLISH

First Order Mathematical Logic

By Angelo Margaris

Book information

Year
1990
ISBN
0486662691, 9780486662695
LCC
QA9 .M32 1990
Open Library ID
OL2207355M
Language
english
Format
DJVU
Filesize
2 MB (1589785 bytes)
Pages
222\222
DPI
600
Time added
2011-06-04 13:46:07

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.

Similar books