Nicht konstruktiv beweisbare Sätze der Analysis
- 1 September 1949
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 14 (3), 145-158
- https://doi.org/10.2307/2267043
Abstract
Nicht konstruktiv beweisbare Sätze der Analysis - Volume 14 Issue 3 - Ernst SpeckerKeywords
This publication has 5 references indexed in Scilit:
- Function Theory in an Axiom-Free Equation CalculusProceedings of the London Mathematical Society, 1945
- On Computable Numbers, with an Application to the EntscheidungsproblemProceedings of the London Mathematical Society, 1937
- General recursive functions of natural numbersMathematische Annalen, 1936
- An Unsolvable Problem of Elementary Number TheoryAmerican Journal of Mathematics, 1936
- Konstruktion nichtrekursiver FunktionenMathematische Annalen, 1935