Wyniki
-
Admissible rules for temporal logic LinTGrz
Julia V. Bezgacheva
Bulletin of the Section of Logic , 26 /2 (1997) s. 60-66
Julia V. Bezgacheva
Bulletin of the Section of Logic
, 26
/2
(1997)
s. 60-66