A complete syntactical characterization of the intuitionistic logic

Bulletin of the Section of Logic, Tom 18, Numer 3 (1989) s. 116-120
Tomasz Skura

 

do góry