Logic Seminar
| Steffen Lempp (UW)
Event Details
Date
Tuesday, October 4, 2022
Time
4 p.m.
Location
901 Van Vleck Hall
Description
Toward deciding the ∀∃-theory of the Σ02-enumeration degrees
Cost
Free
Contact