čtvrtek | 22. 10. 2015 | 14.00
Přednáška | Ústav dějin umění, Husova 4, Praha 1, zased. m.
Constructive Type Theory III
Pořádá Oddělení logiky
Ansten Klev
(Ansten Klev)
Anotace
Anotace ke stažení ZDE.