Wyniki
-
A formal system without well-formed formulas
Martin Tabakov
Bulletin of the Section of Logic , 8 /1 (1979) s. 27-29 -
Godel's theorem in retrospect
Martin Tabakov
Bulletin of the Section of Logic , 13 /3 (1984) s. 132-136