A new criterion of decidability for intermediate logics

Bulletin of the Section of Logic, Tom 19, Numer 1 (1990) s. 10-14
Tomasz Skura

 

do góry