Mathematical Proof Methods for Logic (Lecture)

I followed this course by, Dr. Giorgio Sbardolini during my 5th Semester at the ILLC Amsterdam for my M.Sc. Logic (UvA). I take no lecture notes, as long as the assignments seem to be easy enough, I am already familiar with most of the material.

Assignments

Here I list my solutions for the assignments in the respective Overleaf files:

1. Overleaf: MPML, 1
2. Overleaf: MPML, 2
3. Overleaf: MPML, 3
4. Overleaf: MPML, TH-1
5. Overleaf: MPML, 4
6. Overleaf: MPML, 5
7. Overleaf: MPML, TH-2
8. Overleaf: MPML, 6
9. Overleaf: MPML, 7