Class notes on Formal proofs and Lambda calculus.
Homework
- Homework 1 and its solution
- Homework 2 and its solution
- Homework 3 and its solution
- Homework 4 and its solution
- Homework 5 and its solution
- Homework 6 and its solution
- Homework 7 and its solution
- Homework 8 and its solution
- Homework 9 and its solution
- Homework 10 and its solution
- Review problems and their solution