Computer Laboratory Home Page Search A-Z Directory Help
University of Cambridge Home Computer Laboratory
Logic and Proof
Computer Laboratory > Course material 2002-03 > Logic and Proof

Logic and Proof
2002-03

Principal lecturer: Dr Larry Paulson (lcp@cl.cam.ac.uk)
Taken by: Part IB

Syllabus
Past exam questions

Course notes PDF

Slides PDF

A toy theorem-proved coded in ML:


© 2002 Computer Laboratory, University of Cambridge
Please send any comments to lcp@cl.cam.ac.uk
Page last updated on 19-Sep-2002 at 14:57 by Larry Paulson