Some considerations concerning recursive functions
Th. SKOLEM (1953)
Mathematica Scandinavica
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Recursive Functions and Regressive Isols.”
Some considerations concerning recursive functions
Finite alogorithmic procedures and computation theories.
J. Moldestad, V. Stoltenberg-Hansen (1980)
Mathematica Scandinavica
Similarity:
Recursive Arithmetic of Skolem.
H.A. Pogorzelski (1962)
Mathematica Scandinavica
Similarity:
Partially Ordered Recursive Arithmetics.
Vladeta Vuckovic (1959)
Mathematica Scandinavica
Similarity:
Models of Propositional Calculi in Recursive Arithmetic.
R.L. Goodstein (1958)
Mathematica Scandinavica
Similarity:
Ternary Recursive Arithmetic.
H.E. Rose (1962)
Mathematica Scandinavica
Similarity:
Logic-free formalisations of recursive arithmetic
R.L. GOODSTEIN (1954)
Mathematica Scandinavica
Similarity:
Recursive Arithmetic of Skolem II.
H.A. Pogorzelski (1962)
Mathematica Scandinavica
Similarity:
Permutation in recursive arithmetic
R.L. GOODSTEIN (1953)
Mathematica Scandinavica
Similarity:
On a Problem of J.H.C. Whitehead and a Problem of Alonzo Church.
W.W. Boone, H., Jr. Rogers (1966)
Mathematica Scandinavica
Similarity:
On the Degrees of Universal Regressive Isols.
Erik Ellentuck (1973)
Mathematica Scandinavica
Similarity:
ALFRED TARSKI, in collaboration with ANDRZEJ MOSTOWSKI and RAPHAEL M. ROBINSON: Undecidable theories
TH. SKOLEM (1954)
Mathematica Scandinavica
Similarity:
A. HEYTING: Intuitionism
TH. SKOLEM (1956)
Mathematica Scandinavica
Similarity:
A. A. FRAENKEL: Abstract set theory
Th. SKOLEM (1953)
Mathematica Scandinavica
Similarity: