Graduate studies at Western
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.|
|Categories||categorize this paper)|
|Buy the book||$6.57 new (46% off) $10.76 direct from Amazon (10% 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.
Otávio Bueno (2010). A Defense of Second-Order Logic. Axiomathes 20 (2-3):365-383.
Richard Kaye (2007). The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications. Cambridge University Press.
Added to index2009-01-28
Total downloads18 ( #74,653 of 739,667 )
Recent downloads (6 months)1 ( #61,778 of 739,667 )
How can I increase my downloads?