An Introduction to Logic and Lambda Calculus
Class notes
Exam 2019-2020