Peter Smith’s Logic Matters blog — logic, philosophy of maths, music, other enthusiasms and occasional rants. Latest posts: "On Sider’s Logic for Philosophy -- 2" on 29 November; "On Sider’s Logic for Philosophy -- 1" on 28 November; "The Škampa Quartet play Mozart and Smetena" on 18 November.
Web pages to support An Introduction to Gödel’s Theorems (CUP 2007/2013). Additional materials include exercises, lecture notes ‘Gödel Without (Too Many) Tears’ for philosophers, and two very short courses for mathematicians.
Web pages to support An Introduction to Formal Logic (CUP, 2003: reprinted with many corrections 2009). Links to answers to exercises. But also various additional materials, overheads for lectures, worksheets, unpublished chapters.
Yet More Logic. This page links to various notes, handouts, draft papers, book reviews and so on from the last few years, of rather varying levels of sophistication and difficulty (but all should be accessible to graduate students in philosophy with a bit of logic).
The Teach Yourself Logic Study Guide is an annotated reading list for advanced philosophy undergraduates and graduate students — and for mathematicians too — who want/need to teach themselves more logic than is nowadays provided in many university courses.
Other stuff for students. There’s a little advice intended for graduate students from an ex-editor, about writing first papers for publication. There is some more general advice on writing-style. And there also some other reading lists.
The LaTeX for Logicians pages, which give a brief guide to resources of interest to logicians, philosophers and others using LaTeX to produce papers or presentations, teaching materials, theses or books, and perhaps wanting to include logical matter such as natural deduction proofs.