[FOM] Teach Yourself Logic/Gödel/Categories/Latex for Logicians
ps218 at cam.ac.uk
Fri Aug 28 12:20:42 EDT 2015
Please do forgive this annual bit of advertising. But with the new
academic year/new term/new semester starting (depending on how things
are chunked up in your neck of the woods), you might like to pass on to
new students, as appropriate, some info about various resources
available at logicmatters.net
1. At http://www.logicmatters.net/tyl/ there is the 2015 version of the
Teach Yourself Logic Study Guide -- a long (100 page) heavily annotated
reading guide about what to read, in what order, to get from "baby
logic", through the elements of the basic "mathematical logic"
curriculum, on to more advanced stuff.
2. At http://www.logicmatters.net/igt/ there is, among other things, the
freely available Gödel Without Tears, which is a cut-down version of
some of my Gödel book.
3. At http://www.logicmatters.net/categories/ there is a page of links
to all sorts of on-line resources about category theory at a student
level (including my in-progess Notes on Basic Category Theory).
4. Not least in terms of general usefulness, at
http://www.logicmatters.net/latex-for-logicians/ there are the
much-visited Latex for Logicians web-pages, full of useful stuff about
logic symbols, setting proofs of various styles, etc.
Dr Peter Smith, University of Cambridge
More information about the FOM