čtvrtek | 8. 10. 2015 | 10.00

Přednáška | FLÚ AV ČR, Jilská 1, Praha 1, zasedací m.

Constructive Type Theory I

Pořádá Oddělení logiky

Ansten Klev
(Ansten Klev)

Anotace

Anotace ke stažení ZDE.

logo flu.cas.cz

facebook

youtube

bluesky black

linkedin fin

Kabinet pro klasická studia Filosofického ústavu AV ČR
Na Florenci 3, Praha 1, 110 00
tel.: 234 612 111
e-mail: kks@ics.cas.cz
www.ics.cas.cz		 Filosofický ústav Akademie věd České republiky, v. v. i.
Jilská 1, Praha 1, 110 00
tel.: +420 221 183 201
e-mail: sekretariat@flu.cas.cz
www.flu.cas.cz

Jsme hrdým držitelem ocenění:

Ocenění

Stojíme za Ukrajinou