V. Švejdar
Požadavky na absolvování
V. Švejdar, On Sequent Calculi for Intuitionistic Propositional Logic, CMUC 2005.
Klikněte na odkaz svejdar_dec_IL.pdf pro zobrazení souboru.