Mathematical logic seminar - November 11, 2008
Time:
12:00 - 13:20
Room:
Doherty Hall 4303
Speaker:
Prof William Tait
Department of Mathematics
University of Chicago
Title:
Cut-elimination
Abstract: