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

Logic and Proof
2003-04

Principal lecturer: Dr Joe Hurd
Taken by: Part IB

Syllabus
Past exam questions

Course notes PDF

Slides PDF

A toy theorem-proved coded in ML: