Recursive Functions and Regressive Isols.
J. Barrack (1964)
Mathematica Scandinavica
Similarity:
Displaying similar documents to “Finite alogorithmic procedures and computation theories.”
Recursive Functions and Regressive Isols.
Some considerations concerning recursive functions
Th. SKOLEM (1953)
Mathematica Scandinavica
Similarity:
Finite alogorithmic procedures and inductive definability.
J. Moldestad, V. Stoltenberg-Hansen (1980)
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:
On the Degrees of Universal Regressive Isols.
Erik Ellentuck (1973)
Mathematica Scandinavica
Similarity:
On non-constructive theorems of analysis and the decision problem
R. L. GOODSTEIN (1955)
Mathematica Scandinavica
Similarity:
On the sequence [n a], n = 1,2, .. . Supplementary note to the preceding paper by Th. Skolem
THOGER BANG (1957)
Mathematica Scandinavica
Similarity:
A. A. FRAENKEL: Abstract set theory
Th. SKOLEM (1953)
Mathematica Scandinavica
Similarity:
A. HEYTING: Intuitionism
TH. SKOLEM (1956)
Mathematica Scandinavica
Similarity:
On the Differentiability Points of a Function of Two Real Variables Admitting Partial Derivatives.
J. Hoffmann-Jorgensen (1974)
Mathematica Scandinavica
Similarity:
On the Theorem of Szegö-Solomentsev.
Maurice Heins (1967)
Mathematica Scandinavica
Similarity:
Two remarks on set theory
TH. SKOLEM (1957)
Mathematica Scandinavica
Similarity: