Logic and Proof
2001-02

University of Cambridge Computer Laboratory

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

Syllabus
Past exam questions

Course notes (244K) PDF

Slides (209K) PDF


IB

Provisional information only
Generated at 11:07.58 on 19/9/2001