ontolog-forum
[Top] [All Lists]

[ontolog-forum] FW: [FOM] Teach Yourself Logic/Gödel/Categories/Latex fo

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Obrst, Leo J." <lobrst@xxxxxxxxx>
Date: Fri, 28 Aug 2015 21:29:05 +0000
Message-id: <CY1PR09MB08265A5A1D4F10B5F2B79B5CDD6E0@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx>
Fyi.
    (01)

-----Original Message-----
From: fom-bounces@xxxxxxxxxx [mailto:fom-bounces@xxxxxxxxxx] On Behalf Of Peter 
Smith
Sent: Friday, August 28, 2015 12:21 PM
To: fom <fom@xxxxxxxxxx>
Subject: [FOM] Teach Yourself Logic/Gödel/Categories/Latex for Logicians
    (02)

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
    (03)

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.
    (04)

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.
    (05)

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).
    (06)

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.
    (07)

Peter S.
    (08)

Dr Peter Smith, University of Cambridge
    (09)

_______________________________________________
FOM mailing list
FOM@xxxxxxxxxx
http://www.cs.nyu.edu/mailman/listinfo/fom
    (010)

_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (011)

<Prev in Thread] Current Thread [Next in Thread>
  • [ontolog-forum] FW: [FOM] Teach Yourself Logic/Gödel/Categories/Latex for Logicians, Obrst, Leo J. <=