R. Dyckhoff
Požadavky na absolvování
R. Dyckhoff, Contraction-Free Sequent Calculi for Intuitionistic Logic, The Journal of Symbolic Logic, Vol. 57, No. 3, (Sep., 1992), pp. 795-807.
Klikněte na odkaz Dyckhoff_contrfree_jsl57.pdf pro zobrazení souboru.