Computer Laboratory > Teaching > Course material 2008–09 > Logic and Proof
Principal lecturer: Prof Larry PaulsonTaken by: Part IBSyllabus Past exam questions
Course notes
Slides
Solution notes for past exam questions (for supervisors and directors of studies only)
A toy theorem-proved coded in ML:
© 2009 Computer Laboratory, University of CambridgePlease send any comments on this page to Prof Larry PaulsonLast modified 2009-05-04 15:39 by Larry Paulson
![[Search]](../../../images/search.gif){kind=small}
![[A-Z Index]](../../../images/az.gif){kind=small}
![[Contact]](../../../images/contact.gif){kind=small}
![[University of Cambridge]](../../../images/identifier2.gif){kind=small}
