On non-constructive theorems of analysis and the decision problem Authors R. L. Goodstein DOI: https://doi.org/10.7146/math.scand.a-10444 Downloads PDF Published 1955-12-01 Issue Vol. 3 (1955) Section Articles