Logic and Proof 2009–10
Principal lecturer: Prof Larry Paulson Taken by: Part IB Syllabus
Past exam questions Information for supervisors (solution notes for past exam questions) (contact lecturer for access permission)
Course notes
Slides
A toy theorem-proved coded in ML:
|