Ernst Specker. Nicht Konstruktiv Beweisbare Satze Der Analysis. Journal of Symbolic Logic, 14(3):145-158, 1949.
@article{Specker49, title = {Nicht Konstruktiv Beweisbare Satze Der Analysis}, author = {Ernst Specker}, year = {1949}, tags = {analysis}, researchr = {https://researchr.org/publication/Specker49}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {14}, number = {3}, pages = {145-158}, }