Recursive Functions and Regressive Isols.
J. Barrack (1964)
Mathematica Scandinavica
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Some considerations concerning recursive functions”
Recursive Functions and Regressive Isols.
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:
Models of Propositional Calculi in Recursive Arithmetic.
R.L. Goodstein (1958)
Mathematica Scandinavica
Similarity:
Partially Ordered Recursive Arithmetics.
Vladeta Vuckovic (1959)
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:
Permutation in recursive arithmetic
R.L. GOODSTEIN (1953)
Mathematica Scandinavica
Similarity:
Recursive Arithmetic of Skolem II.
H.A. Pogorzelski (1962)
Mathematica Scandinavica
Similarity:
J. BARKLEY ROSSER: Logic for mathematicians
TH. SKOLEM (1954)
Mathematica Scandinavica
Similarity:
The Decision Problem for Segregated Formulas in First-Order Logic.
M.R. Krom (1967)
Mathematica Scandinavica
Similarity:
ALFRED TARSKI, in collaboration with ANDRZEJ MOSTOWSKI and RAPHAEL M. ROBINSON: Undecidable theories
TH. SKOLEM (1954)
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:
A. HEYTING: Intuitionism
TH. SKOLEM (1956)
Mathematica Scandinavica
Similarity:
A. A. FRAENKEL: Abstract set theory
Th. SKOLEM (1953)
Mathematica Scandinavica
Similarity: