Wyniki
-
Omega-consistency and the diamond
George Boolos
Bulletin of the Section of Logic , 9 /1 (1980) s. 46-49
George Boolos
Bulletin of the Section of Logic
, 9
/1
(1980)
s. 46-49