Logic Seminar
| Benoît Monin, University of Paris-Est Créteil, France
Event Details
Date
Monday, September 27, 2021
Time
3:30 p.m.
Location
B115 Van Vleck Hall
Description
The computational content of Milliken’s tree theorem
Cost
Free
Contact