Zur rekursiven Funktionentheorie
Open Access
- 1 January 1956
- journal article
- Published by International Press of Boston in Acta Mathematica
- Vol. 95 (1) , 9-23
- https://doi.org/10.1007/bf02401095
Abstract
Project Euclid - mathematics and statistics onlineKeywords
This publication has 3 references indexed in Scilit:
- The recursive irrationality of πThe Journal of Symbolic Logic, 1954
- The relatively exponential, logarithmic and circular functions in recursive function theoryActa Mathematica, 1954
- Nicht konstruktiv beweisbare Sätze der AnalysisThe Journal of Symbolic Logic, 1949