Subscribe to Events
First-order classification, non-standard models, and interpretations
Alexei Miasnikov (Stevens Institute of Technology)
Location: Hill 705
Date & time: Monday, 20 November 2023 at 3:30PM -
Location: Hill 705
Date & time: Monday, 20 November 2023 at 3:30PM -