5 results
Clifford Spector. Recursive well-orderings. The journal of symbolic logic, Bd. 20 (1955), S. 151–163.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 412-413
- Print publication:
- December 1956
-
- Article
- Export citation
S. C. Kleene. Arithmetical predicates and function quantifiers. Transactions of the American Mathematical Society, Bd. 79 (1955), S. 312–340.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 409-410
- Print publication:
- December 1956
-
- Article
- Export citation
S. C. Kleene. Hierarchies of number-theoretic predicates. Bulletin of the American Mathematical Society, Bd. 61 (1955), S. 193–213.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 411-412
- Print publication:
- December 1956
-
- Article
- Export citation
S. C. Kleene. On the forms of predicates in the theory of constructive ordinals (second paper). American journal of mathematics, Bd. 77 (1955), S. 405–428.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 410-411
- Print publication:
- December 1956
-
- Article
- Export citation
Kurt Schütte. Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen. Mathematische Annalen, Bd. 127 (1954), S. 15–32.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 3 / September 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 217-218
- Print publication:
- September 1954
-
- Article
- Export citation