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

Logic and Proof
2005-06

Principal lecturer: Prof Larry Paulson
Taken by: Part IB

Syllabus
Past exam questions

Course notes PDF

Slides PDF

A toy theorem-proved coded in ML: