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

Slides (246K) PDF


IB