Aspects of refutation procedures in the intuitionistic logic and related modal systems / Tomasz Skura.
Opis
Skura, Tomasz.
Aspects of refutation procedures in the intuitionistic logic and related modal systems / Tomasz Skura.
Wrocław : Wydawnictwo Uniwersytetu Wrocławskiego, 1999.
84, [1] s. ; 24 cm.
(ACTA UNIVERSITATIS WRATISLAVIENSIS, ISSN 0239-6661 ; 2190) (ACTA UNIVERSITATIS WRATISLAVIENSIS. LOGIKA ; 20)