Skip to main content

Graduate Logic Seminar

Logan Heath

Event Details

Date
Monday, November 20, 2023
Time
3:30 p.m.
Location
Description
A Proof Theorist's Guide to First Aid: CUT-Elimination and Other Results of Classical Proof Theory
Cost
Free

Tags