Recursive Arithmetic of Skolem.
H.A. Pogorzelski (1962)
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 Arithmetic of Skolem II.”
Recursive Arithmetic of Skolem.
Ternary Recursive Arithmetic.
H.E. Rose (1962)
Mathematica Scandinavica
Similarity:
Models of Propositional Calculi in Recursive Arithmetic.
R.L. Goodstein (1958)
Mathematica Scandinavica
Similarity:
Permutation in recursive arithmetic
R.L. GOODSTEIN (1953)
Mathematica Scandinavica
Similarity:
Logic-free formalisations of recursive arithmetic
R.L. GOODSTEIN (1954)
Mathematica Scandinavica
Similarity:
Some considerations concerning recursive functions
Th. SKOLEM (1953)
Mathematica Scandinavica
Similarity:
Recursive Functions and Regressive Isols.
J. Barrack (1964)
Mathematica Scandinavica
Similarity:
Finite alogorithmic procedures and computation theories.
J. Moldestad, V. Stoltenberg-Hansen (1980)
Mathematica Scandinavica
Similarity:
Proof of the quadratic reciprocity law in primitive recursive arithmetic.
W.J. Ryan (1979)
Mathematica Scandinavica
Similarity:
A direct proof of Gödel's incompleteness theorem.
José F. Prida (1986)
Collectanea Mathematica
Similarity:
Some Arithmetic Sums Connected With the Greatest Integer Function.
L. Carlitz (1960)
Mathematica Scandinavica
Similarity:
Partially Ordered Recursive Arithmetics.
Vladeta Vuckovic (1959)
Mathematica Scandinavica
Similarity: