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 “Models of Propositional Calculi in Recursive Arithmetic.”
Recursive Arithmetic of Skolem.
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:
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:
Partially Ordered Recursive Arithmetics.
Vladeta Vuckovic (1959)
Mathematica Scandinavica
Similarity:
A direct proof of Gödel's incompleteness theorem.
José F. Prida (1986)
Collectanea Mathematica
Similarity:
Proof of the quadratic reciprocity law in primitive recursive arithmetic.
W.J. Ryan (1979)
Mathematica Scandinavica
Similarity:
J. BARKLEY ROSSER: Logic for mathematicians
TH. SKOLEM (1954)
Mathematica Scandinavica
Similarity: