Proof Theory (Lecture)

I followed this course by, Dr. Marianna Girlando during my 5th Semester at the ILLC Amsterdam for my M.Sc. Logic (UvA). A full description of the course can be found here.

Assignments

• Overleaf: PT, 1
• Overleaf: PT, 2
• Overleaf: PT, 3
• Overleaf: PT, 4
• Overleaf: PT, 5
• Overleaf: PT, 6