Formal Categorical Reasoning

Feb 1, 2022, 3:00 PM
20m

Speaker

Burak Ekici

Presentation materials