Wyniki
-
A new criterion of decidability for intermediate logics
Tomasz Skura
Bulletin of the Section of Logic , 19 /1 (1990) s. 10-14
Tomasz Skura
Bulletin of the Section of Logic
, 19
/1
(1990)
s. 10-14