Tag Systems and Lag Systems.
H. Wang (1963)
Mathematische Annalen
Similarity:
Displaying similar documents to “Some Applications of Gentzens Second Consistency Proof.”
Tag Systems and Lag Systems.
Konstruktion nichtrekursiver Funktionen
R. Péter (1935)
Mathematische Annalen
Similarity:
Completeness of Lukasiewicz-Tarski PropositionaICalculi
Alan Rose (1950/51)
Mathematische Annalen
Similarity:
Turing-Machines and the Entscheidungsproblem.
J.R. BÜCHI (1962)
Mathematische Annalen
Similarity:
The Theory of Successor with an Extra Predicate.
Wolfgang Thomas (1978)
Mathematische Annalen
Similarity:
A Reduction-Principle for Infinite Formulas.
E. ENGELER (1963)
Mathematische Annalen
Similarity:
Note on a Theorem of Pultr.
C.R. PLATT (1970)
Mathematische Annalen
Similarity:
First Order Completeness Theorems.
John J. Wavrik (1973)
Mathematische Annalen
Similarity:
An alternative Generalisation of the Concept of Duality.
A. Rose (1962)
Mathematische Annalen
Similarity:
Undecidable Problems of Elementary Number Theory.
J.G. Kemeny (1958)
Mathematische Annalen
Similarity:
A Composition Algebra for Multiplace Functions.
H.I. WHITLOCK (1964/65)
Mathematische Annalen
Similarity:
A Note on B- and Br-Completeness.
D. van Dulst (1972)
Mathematische Annalen
Similarity:
Concerning Transcendentally Transcendental Functions
Eliakim Moore (1897)
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:
Compactifications of C³. II. (Corrigendum).
Thomas Peternell (1993)
Mathematische Annalen
Similarity: