Intuitionistic Logic Lecture Notes
Požadavky na absolvování
N. Bezhanishvilli, D. de Jongh, Intuitionistic Logic, ESSLLI 2006 Lecture notes
Klikněte na odkaz PP-2006-25.text.pdf pro zobrazení souboru.