The simple substitution property of the intermediate propositional logics

Bulletin of the Section of Logic, Tom 18, Numer 3 (1989) s. 94-99
Katsumi Sasaki

 

do góry