Nested recursion
- 1 June 1961
- journal article
- Published by Springer Nature in Mathematische Annalen
- Vol. 143 (3), 236-250
- https://doi.org/10.1007/bf01342980
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Rekursive FunktionenPublished by Walter de Gruyter GmbH ,1957
- Introduction to Metamathematics. By S. C. Kleene. Pp. x, 550, Fl. 32.50. 1952. (Noordhoff, Groningen; North-Holland Publishing Co., Amsterdam)The Mathematical Gazette, 1954
- Ordinal recursionMathematical Proceedings of the Cambridge Philosophical Society, 1953
- On the interpretation of non-finitist proofs–Part IIThe Journal of Symbolic Logic, 1952
- Rekursive FunktionenThe Journal of Symbolic Logic, 1951
- Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen ZahlentheorieMathematische Annalen, 1943
- Zur Widerspruchsfreiheit der ZahlentheorieMathematische Annalen, 1940