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
{"_id":"9qF9zDapT4sv7h6Me","bibbaseid":"goodstein-onnonconstructivetheoremsofanalysisandthedecisionproblem-1956","authorIDs":[],"author_short":["Goodstein, R."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Goodstein"],"firstnames":["R.L."],"suffixes":[]}],"title":"On non-constructive theorems of analysis and the decision problem","journal":"Math. Scand.","year":"1956","volume":"3","pages":"261–263","keywords":"bib,cca","bibtex":"@ARTICLE{Goo56,\r\n author = {Goodstein, R.L.},\r\n title = {On non-constructive theorems of analysis and the decision problem},\r\n journal = {Math. Scand.},\r\n year = {1956},\r\n volume = {3},\r\n pages = {261--263},\r\n keywords = {bib,cca}\r\n}\r\n\r\n","author_short":["Goodstein, R."],"key":"Goo56","id":"Goo56","bibbaseid":"goodstein-onnonconstructivetheoremsofanalysisandthedecisionproblem-1956","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.708Z","downloads":0,"keywords":["bib","cca"],"search_terms":["non","constructive","theorems","analysis","decision","problem","goodstein"],"title":"On non-constructive theorems of analysis and the decision problem","year":1956,"dataSources":["t7rKiAbxugj4Agz8M"]}