News
Přednášky Anstena Kleva
Constructive Type Theory
8. 10. 2015, 10:00, Zasedací místnost FLÚ
15. 10. 2015, 14:00, Zasedací místnost CMS
22. 10. 2015, 14:00, Zasedací místnost ÚDU
12-10-2015 08:13:14
Peregrin: "Inferentialism: Why Rules Matter"
|
|
12-10-2014 15:04:40
The Logica Yearbook 2014
|
|
08-07-2015 11:22:55
