Dover Publications (1967)
|Abstract||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.|
|Buy the book||$7.29 new (39% off) $10.07 direct from Amazon (16% off) Amazon page|
|Call number||QA9.M32 1990|
|Through your library||Configure|
Similar books and articles
Gregory H. Moore (1980). Beyond First-Order Logic: The Historical Interplay Between Mathematical Logic and Axiomatic Set Theory. History and Philosophy of Logic 1 (1-2):95-137.
P. B. Andrews (2002). An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer Academic Publishers.
Haskell B. Curry (1963/1977). Foundations of Mathematical Logic. Dover Publications.
Ignacio Jané (1993). A Critical Appraisal of Second-Order Logic. History and Philosophy of Logic 14 (1):67-86.
Jouko Vaananen (2001). Second-Order Logic and Foundations of Mathematics. Bulletin of Symbolic Logic 7 (4):504-520.
A. S. Troelstra (2000). Basic Proof Theory. Cambridge University Press.
Richard Kaye (2007). The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications. Cambridge University Press.
Added to index2009-01-28
Total downloads17 ( #72,089 of 556,909 )
Recent downloads (6 months)3 ( #27,428 of 556,909 )
How can I increase my downloads?