A Second Course in Logic
by Christopher Gauker
Publisher: University of Cincinnati 2013
Number of pages: 172
This book 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, Godel's incompleteness theorems, the undecidability of first-order logic, a smattering of second=order logic, and modal logic (both propositional and quantificational).
Download or read it online for free here:
by Edward Nelson - Princeton Univ Pr
The book based on lecture notes of a course given at Princeton University in 1980. From the contents: the impredicativity of induction, the axioms of arithmetic, order, induction by relativization, the bounded least number principle, and more.
by Bertrand Russell - University of Massachusetts Amherst
A very accessible mathematical classic. It sets forth in elementary form the logical definition of number, the analysis of the notion of order, the modern doctrine of the infinite, and the theory of descriptions and classes as symbolic fictions.
by Michal Walicki - University of Bergen
This text is an introduction to mathematical logic: the compendium with the whole syllabus and an extensive section on the history of logic. The author covers the basic set theory, Turing machines, statement logic, and predicate logic.
by Vilnis Detlovs, Karlis Podnieks - University of Latvia
From the table of contents: 1. Introduction. What Is Logic, Really?; 2. Propositional Logic; 3. Predicate Logic; 4. Completeness Theorems (Model Theory); 5. Normal Forms. Resolution Method; 6. Miscellaneous (Negation as Contradiction or Absurdity).