V. Švejdar
Abschlussbedingungen
V. Švejdar, On Sequent Calculi for Intuitionistic Propositional Logic, CMUC 2005.
Klicken Sie auf den Link 'svejdar_dec_IL.pdf', um die Datei anzuzeigen