Wayback Machine
Sep OCT DEC »
Previous capture 17 Next capture
2014 2015 2016 »
37 captures
17 Oct 15 - 6 Apr 19
Close Help
View all fonts in this project

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

15. 10. 2015
14.00
FLÚ AV ČR, Jilská 1, Praha 1, zased. m. CMS