Graduate Logic Seminar
Logan Heath
Event Details
Date
Monday, November 20, 2023
Time
3:30 p.m.
Location
B223 Van Vleck Hall
Description
A Proof Theorist's Guide to First Aid: CUT-Elimination and Other Results of Classical Proof Theory
Cost
Free