Wyniki
-
Decidability of tense logics
Frank Wolter
Bulletin of the Section of Logic , 24 /1 (1995) s. 46-50
Frank Wolter
Bulletin of the Section of Logic
, 24
/1
(1995)
s. 46-50