Graduate Logic Seminar
| Ang Li, Antonio Nákid Cordero
Event Details
Date
Tuesday, March 29, 2022
Time
4 p.m.
Location
901 Van Vleck Hall
Description
The Arithmetized Completeness Theorem/Semiregular cuts
Cost
Free
Contact