	Computer Laboratory Logic and Proof

Logic and Proof
2006-07

Principal lecturer: Prof Larry Paulson
Taken by: Part IB

Syllabus
Past exam questions

A toy theorem-proved coded in ML:



© 2006 Prof Larry Paulson (content) & Dr Neil Dodgson (layout) Please send any comments to pagemaster@cl.cam.ac.uk Page last updated on 12-Sep-2006 at 14:00 by Larry Paulson

Logic and Proof2006-07