Home › Events › Logic Seminar: Michael Rathjen - University of Leeds Logic Seminar: Michael Rathjen - University of Leeds Time: Tue Nov 15, 2016, 2:00 pm - 3:00 pm Location: 125 Hayes-Healy Hall Title: Proof-theoretic reduction and long proofs Abstract