AbstractThis is a free book, 165 pages. It is for anyone who has had a solid introductory logic course and wants more. Topics covered include soundness and completeness for first-order logic, Tarski's theorem on the undefinability of truth, Gödel's incompleteness theorems, the undecidability of first-order logic, a smattering of second-order logic, and modal logic (both propositional and quantificational). I wrote it for use in my own course, because I thought I could present the most important results and concepts more clearly than the available textbooks.
Similar books and articles
Modal Logic and Model Theory.Giangiacomo Gerla & Virginia Vaccaro - 1984 - Studia Logica 43 (3):203 - 216.
The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications.Richard W. Kaye - 2007 - Cambridge University Press.
Philosophical Logic: An Introduction to Advanced Topics.George Englebretsen & Charles Sayward - 2010 - continuum.
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof.Peter Bruce Andrews - 1986 - New York, NY, USA: Kluwer Academic Publishers.
Expressivity of Second Order Propositional Modal Logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
Representability in Second-Order Propositional Poly-Modal Logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
Added to PP
Historical graph of downloads