A second course in logic


This 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.



    Upload a copy of this work     Papers currently archived: 74,480

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles


Added to PP

207 (#59,539)

6 months
8 (#96,603)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Christopher Gauker
University of Salzburg

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references