First Order Mathematical Logic

作者:Margaris, Angelo

页数:212

出版时间:1990-3

价格:$ 13.50

isbn号码:9780486662695

图书标签:数学

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.