Computer Laboratory > Teaching > Course material 2008–09 > All courses > Logic and Proof
Principal lecturer: Prof Larry Paulson Taken by: Part IB Syllabus 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 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}
