Events

Logic Seminar: Michael Rathjen - University of Leeds

Tue Nov 15, 2016 2:00PM - 3:00PM • 125 Hayes-Healy Hall

Calendars: Logic Seminars

Title: Proof-theoretic reduction and long proofs

Abstract

View Upcoming Events

Subscribe to iCal