A note on intuitionistic sentential calculus (ISC)

Bulletin of the Section of Logic, Tom 3, Numer 1 (1974) s. 20-21
Roman Suszko

 

do góry