LARA

This is an old revision of the document!


An Introduction to Mathematical Logic and Type Theory

Peter B. Andrews. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Second Edition, Kluwer Academic Publishers, 2002.

Excellent introduction to propositional, first-order, and higher-order logic.