22. 10. 2015
14.00
Přednáška
Constructive Type Theory III
Ansten Klev
Ansten Klev
Ústav dějin umění, Husova 4, Praha 1, zased. m.
More constants: the natural numbers, nite sets, propositional identity.
Pořádá Oddělení logiky
