Paolo Mancosu

Richard Zach

Sergio Galvan

Normalization, Cut-Elimination, and Consistency Proofs

Introduction to Proof Theory

A textbook on modal and other intensional logics. It covers normal modal logics, relational semantics, axiomatic and tableaux proof systems, intuitionistic logic, and counterfactual conditionals. It is based on the Open Logic Project and available for free download at openlogicproject.org.

An Open Introduction to Modal Logic

Boxes and Diamonds

A textbook on the semantics, proof theory, and metatheory of first-order logic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. It is based on the Open Logic project, and available for free download at slc.openlogicproject.org.

An Open Introduction to Metalogic

Sets, Logic, Computation

A textbook on recursive function theory and G�del's incompleteness theorems. Also covers models of arithmetic and second-order logic.

Richard Zach

Books

Your next favorite book is out there