Wyniki
-
Decision problems for linear orderings in stationary logic
Heinrich Herre
Bulletin of the Section of Logic , 20 /3-4 (1991) s. 102-104
Heinrich Herre
Bulletin of the Section of Logic
, 20
/3-4
(1991)
s. 102-104