Computer Laboratory > Teaching > Course material 2007–08 > Logic and Proof
Principal lecturer: Prof Larry Paulson Taken by: Part IB Syllabus Past exam questions
Course notes
Slides
A toy theorem-proved coded in ML:
© 2007 Computer Laboratory, University of CambridgePlease send any comments on this page to Prof Larry Paulson