Filozofická Fakulta

Katedra logiky

Aktuality

se konají společně v Út 6.2.2018. od 9h.

11. leden 2018

se konají v těchto termínech:

(1) středa 17.1.2018 od 14 hodin

(2) středa 24.1....

10. leden 2018

Peliš M. Some Properties of Kripke Semantics for Intuitionistic Logic. In: Bendová K, Jirků P, editors. Miscellanea Logica V. Faculty of Arts, Charles University; 2008. p. 53-88. Stáhnout: pdf preprint (1001.27 KB)