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
![[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}
