**THE 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: ‘Categories for the Working Philosopher: 15–18’ (May 12); ‘Big Red Logic Books …’ (May 19); ‘Category theory Notes updated again’ (May 31).

**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)

**ARCHIVE** Links to various old blog posts, papers, book reviews and other pieces. Also links to snippets from over a hundred notes on logic for (more or less) beginners. Plus my old advice for grad students on writing papers!

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