Logic and Proof
If you are reading this then no extra material has yet been
placed on the Web for this course.
Last year’s course materials are still available.
Course materials
Department of Computer Science and Technology
Course pages 2024–25 (working draft)
If you are reading this then no extra material has yet been
placed on the Web for this course.
Last year’s course materials are still available.
© 2024 Department of Computer Science and Technology, University of Cambridge
Information provided by Prof Mateja Jamnik – edit page