Wyniki
-
Decidability in Pratt's process logic
Zdzisław Habasiński
Bulletin of the Section of Logic , 15 /3 (1986) s. 88-95
Zdzisław Habasiński
Bulletin of the Section of Logic
, 15
/3
(1986)
s. 88-95