Logic and Proof
Principal lecturer: Dr Larry Paulson (lcp@cl.cam.ac.uk)
Taken by: Part IB
Number of lectures: 12
Lecture location: Heycock Room
Lecture times: 12:00 on MWF
starting 09-Oct-98
Revised course notes in
(1016K)
and
(264K)
Slides (PostScript, 81K)
IB
Provisional information only
Generated at 09:55.16 on 4/9/1998