Skip to main content

Online Logic Seminar

Andrej Bauer, University of Ljubljana, Slovenia

Event Details

Date
Monday, February 8, 2021
Time
3:30 p.m.
Description
Synthetic mathematics with an excursion into computability theory
Cost
Free

Tags