Skip to main content

Logic Seminar

| Steffen Lempp (UW)

Event Details

Date
Tuesday, October 4, 2022
Time
4 p.m.
Location
Description
Toward deciding the ∀∃-theory of the Σ02-enumeration degrees
Cost
Free

Tags