FIVE BIG RED LOGIC BOOKS The headline news.
LOGIC MATTERS BLOG Peter Smith’s occasional blog posts on logic, music, and other enthusiasms. Most recent posts ‘Jeunes Etoiles’ (Aug 2); ‘GWT2 — on primitive recursive functions’ (Aug 6); ‘IGT, two years on …’ (Aug 9).
INTRO TO FORMAL LOGIC. A corrected version of the second edition of An Introduction to Formal Logic is freely available here. There are also links to answers to exercises and to various supplementary materials.
GÖDEL’S THEOREMS. Two books are freely available here, An Introduction to Gödel’s Theorems and the much shorter Gödel Without (Too Many) Tears, along with related materials.
CATEGORY THEORY Links to resources at an introductory/intermediate level, including lecture notes and freely available books, and a link to my evolving gentle intro, Beginning Category Theory.
TEACH YOURSELF LOGIC You will find here the much-downloaded Beginning Mathematical Logic: A Study Guide as well as other resources (including Book Notes reviewing many texts)
VARIA Links to various papers. Also links to snippets from over a hundred notes on logic for (more or less) beginners. Plus my old but still occasionally recommended advice on writing papers!
LaTeX FOR LOGICIANS Pages pointing to a wide range of resources of interest to logicians, philosophers and others using LaTeX.