underlineallarticles

Constructive Type Theory III
Ansten Klev
Pořádá Oddělení logiky

22. 10. 2015
14.00
Ústav dějin umění, Husova 4, Praha 1, zased. m.