Hierarchies of number - theoretic functions I, II: a correction.
M.H. Löb, S.S. Wainer (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Displaying similar documents to “A Correction.”
Hierarchies of number - theoretic functions I, II: a correction.
Remarks on limitultrapowers.
Halldor Gudjónsson (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Stackautomaten in Labyrinthen.
Horst Müller (1971)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On the decidability of p', p'' and p''*.
N. Georgieva (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Hierarchies of number-theoretic functions. II.
M.H. Löb, S.S. Wainer (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Hierarchies of number-theoretic functions. I.
M.H. Löb, S.S. Wainer (1970)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
Liberated versions of T, S4, and S5.
Charles G. Morgan (1975)
Archiv für mathematische Logik und Grundlagenforschung
Similarity:
On necessary but not-sufficient conditions.
Hidehisa Sakai (1974)
Archiv für mathematische Logik und Grundlagenforschung
Similarity: