Tag Systems and Lag Systems.
H. Wang (1963)
Mathematische Annalen
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 “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: