Logic and Proof

University of Cambridge Computer Laboratory

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 PostScript (1016K) and PDF (264K)

Slides (PostScript, 81K)


IB

Provisional information only
Generated at 09:55.16 on 4/9/1998