- 1090/S0002-9939-1954-0063328-5. JSTOR 2031867. S****, E. (1949). "Nicht
konstruktiv beweisbare Sätze der Analysis" (PDF).
Journal of
Symbolic Logic. 14 (3): 145–158...
- second-order arithmetic, Springer. E. S**** (1949), "Nicht
konstruktiv beweisbare Sätze der Analysis"
Journal of
Symbolic Logic, v. 14, pp. 145–158....