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.
The search session has expired. Please query the service again.
Displaying similar documents to “Permutation in recursive arithmetic”
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:
Recursive Arithmetic of Skolem II.
H.A. Pogorzelski (1962)
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:
Proof of the quadratic reciprocity law in primitive recursive arithmetic.
W.J. Ryan (1979)
Mathematica Scandinavica
Similarity:
Finite alogorithmic procedures and computation theories.
J. Moldestad, V. Stoltenberg-Hansen (1980)
Mathematica Scandinavica
Similarity:
A direct proof of Gödel's incompleteness theorem.
José F. Prida (1986)
Collectanea Mathematica
Similarity:
Partially Ordered Recursive Arithmetics.
Vladeta Vuckovic (1959)
Mathematica Scandinavica
Similarity:
ALFRED TARSKI, in collaboration with ANDRZEJ MOSTOWSKI and RAPHAEL M. ROBINSON: Undecidable theories
TH. SKOLEM (1954)
Mathematica Scandinavica
Similarity: