Computer Laboratory > Teaching > Course material 2007–08 > Logic and Proof
Principal lecturer: Prof Larry PaulsonTaken by: Part IBSyllabus 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 PaulsonLast modified 2007-08-28 12:56 by Larry Paulson