COMP 527: Logic and Computation
Home : Course Information : Schedule : Assignments : Handouts : Resources

Handouts -- Winter 2009

The course will follow to a large extent the course notes from Frank Pfenning on Constructive Logic(CL) and on Automated Theorem proving(ATP). Both course notes are available in pdf-format. We will post more detailled notes on WebCT.

Supplementary material