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.
|Availability||Usually ships in 24 to 48 hours|
|Dimensions||5 3/8 x 8 1/2|