Logic and Proof

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 (246K) PDF

Slides (209K) PDF

IB
Provisional information only
Generated at 18:01.29 on 18/9/2000