THE BIG RED LOGIC BOOKS The headline news. (New book, Aug 2023!)

LOGIC MATTERS BLOG Peter Smith’s occasional blog posts on logic, music, and other enthusiasms. Most recent posts: ‘Kurt Gödel: Results on Foundations’ (Sep 5); ‘Not Copenhagen (but Schubert on Sunday 5)’ (Sep 17); ‘Dvořák trios … played by the dream team’ (Sep 25).

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 my evolving Category Theory: Notes Towards a Gentle Introduction.

THE STUDY GUIDE AND BOOK NOTES You will find here the much-downloaded Beginning Mathematical Logic: A Study Guide,  its Appendix reviewing some of the wider-ranging books on mathematical logic, together with a list of some forty further book notes.

ARCHIVE Links to various old blog posts, papers, more reviews and other pieces.

LaTeX FOR LOGICIANS Pages pointing to a wide range of resources of interest to logicians, philosophers and others using LaTeX.