Suszko's Contribution to the Theory of Nonaxiomatic Proof Systems

Bulletin of the Section of Logic, Tom 38, Numer 3-4 (2009) s. 151-161
Andrzej Indrzejczak

 

do góry