First Order Mathematical Logic
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. | |||||||||
| Keywords | First-order logic | |||||||||
| Categories | ||||||||||
| Buy the book | $10.07 direct from Amazon (16% off) Amazon page | |||||||||
| Call number | QA9.M32 1990 | |||||||||
| ISBN(s) | 0486662691 9780486662695 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,882 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesGregory 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.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads17 ( #72,089 of 556,909 )Recent downloads (6 months)3 ( #27,428 of 556,909 )How can I increase my downloads? |
My notes
Discussion
