On non-constructive theorems of analysis and the decision problem. Goodstein, R. Math. Scand., 3:261–263, 1956.
bibtex   
@ARTICLE{Goo56,
  author = {Goodstein, R.L.},
  title = {On non-constructive theorems of analysis and the decision problem},
  journal = {Math. Scand.},
  year = {1956},
  volume = {3},
  pages = {261--263},
  keywords = {bib,cca}
}

Downloads: 0