Wyniki
-
The $omega;1-like recursively saturated models of arithmetic
Roman Kossak
Bulletin of the Section of Logic , 20 /3-4 (1991) s. 109
Roman Kossak
Bulletin of the Section of Logic
, 20
/3-4
(1991)
s. 109