Logic Seminar
| Steffen Lempp (UW)
Event Details
Date
Monday, October 18, 2021
Time
3:30 p.m.
Location
B115 Van Vleck Hall
Description
The ∀∃-theory of the Σ02-enumeration degrees
Cost
Free
Contact