Logic and Proof
2001-02
Principal lecturer:
Dr Larry Paulson
(
lcp@cl.cam.ac.uk
)
Taken by:
Part IB
Syllabus
Past exam questions
Course notes (244K)
Slides (209K)
IB
Provisional information only
Generated at 11:07.58 on 19/9/2001