Tag Systems and Lag Systems.
H. Wang (1963)
Mathematische Annalen
Similarity:
Displaying similar documents to “Konstruktion nichtrekursiver Funktionen”
Tag Systems and Lag Systems.
Turing-Machines and the Entscheidungsproblem.
J.R. BÜCHI (1962)
Mathematische Annalen
Similarity:
Completeness of Lukasiewicz-Tarski PropositionaICalculi
Alan Rose (1950/51)
Mathematische Annalen
Similarity:
A Reduction-Principle for Infinite Formulas.
E. ENGELER (1963)
Mathematische Annalen
Similarity:
An alternative Generalisation of the Concept of Duality.
A. Rose (1962)
Mathematische Annalen
Similarity:
Some Applications of Gentzens Second Consistency Proof.
B. SCARPELLINI (1969)
Mathematische Annalen
Similarity:
Note on a Paper of Kemeny's.
R.O. Gandy (1958)
Mathematische Annalen
Similarity:
Between Number Theory and Set Theory.
H. Wang (1953)
Mathematische Annalen
Similarity:
The Theory of Successor with an Extra Predicate.
Wolfgang Thomas (1978)
Mathematische Annalen
Similarity:
Undecidable Problems of Elementary Number Theory.
J.G. Kemeny (1958)
Mathematische Annalen
Similarity:
First Order Completeness Theorems.
John J. Wavrik (1973)
Mathematische Annalen
Similarity:
Computing Degrees of Unsolvability.
H. ROGERS (1959)
Mathematische Annalen
Similarity:
A Note on B- and Br-Completeness.
D. van Dulst (1972)
Mathematische Annalen
Similarity:
Hypergeometrische Funktionen zweier Veränderlichen
J. Horn (1931)
Mathematische Annalen
Similarity:
Hypergeometrische Funktionen zweier Veränderlichen.
J. Horn (1935)
Mathematische Annalen
Similarity: