Goodstein, R. L.
-
MATHEMATICA SCANDINAVICA Vol. 3 (1955) - Articles
On non-constructive theorems of analysis and the decision problem
Details PDF -
MATHEMATICA SCANDINAVICA Vol. 1 (1953) - Articles
Permutation in recursive arithmetic
Details PDF -
MATHEMATICA SCANDINAVICA Vol. 15 (1964) - Articles
Diophantine Equations in Recursive Difference.
Details PDF -
MATHEMATICA SCANDINAVICA Vol. 2 (1954) - Articles
Logic-free formalisations of recursive arithmetic
Details PDF -
MATHEMATICA SCANDINAVICA Vol. 6 (1958) - Articles
Models of Propositional Calculi in Recursive Arithmetic.
Details PDF
