[Alta-Logic] Logic & category theory courses

[Richard Zach]

Posted on http://www.ucalgary.ca/cprglct/node/49 -- did I miss any?

CPSC 617: Category Theory for CS - Robin Cockett

http://www.cpsc.ucalgary.ca/grad/coursedesc.php?info_id=CPSC%20617

PHIL 473 - Philosophy of Logic - Anders Kraal

https://phil.ucalgary.ca/courses/w14/PHIL473?destination=courses

PMAT 415 - Foundations - Robert Woodrow

http://math.ucalgary.ca/courses/w14/PMAT415?destination=courses%2Ffiles%2Fmath249-f08-lec7-outline.pdf

PHIL 579/679 - Proof Theory - Richard Zach

http://www.ucalgary.ca/rzach/579.3



-- 
Richard Zach ..... http://www.ucalgary.ca/~rzach/
Professor,             Department  of  Philosophy
University of Calgary, Calgary AB T2N 1N4, Canada