Undecidable Problems of Elementary Number Theory.
J.G. Kemeny (1958)
Mathematische Annalen
Similarity:
Displaying similar documents to “The Theory of Successor with an Extra Predicate.”
Undecidable Problems of Elementary Number Theory.
Nested Recursion.
W.W. TAIT (1961)
Mathematische Annalen
Similarity:
An Axiomatic Set Theory.
H. Nakano (1970)
Mathematische Annalen
Similarity:
Pointless Axiomatic Set Theory.
H. Nakano (1970)
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:
Some Constructive Problems Concerning Analytische Gebilde.
M. Heins (1958)
Mathematische Annalen
Similarity:
The Theory of Proportionality as an Abstraction of Group Theory.
J.B. Büchi, J.B. Wright (1955/56)
Mathematische Annalen
Similarity:
First Order Completeness Theorems.
John J. Wavrik (1973)
Mathematische Annalen
Similarity:
Computing Degrees of Unsolvability.
H. ROGERS (1959)
Mathematische Annalen
Similarity:
Expression for an E-function as a finite series of E-functions.
TH.M. McROBERT (1960)
Mathematische Annalen
Similarity:
Completeness of Lukasiewicz-Tarski PropositionaICalculi
Alan Rose (1950/51)
Mathematische Annalen
Similarity:
A Note on Compactifications of C2 .
Lawrence Brenton (1973)
Mathematische Annalen
Similarity: