{"_id":"7Zds9s9a5dYfeovP2","authorIDs":["TqZdHatzyaM88iEPt"],"author_short":["Beeson, M."],"bibbaseid":"beeson-principlesofcontinuouschoiceandcontinuityoffunctionsinformalsystemsforconstructivemathematics-1977","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"date-added":"2014-11-14 17:11:54 +0000","date-modified":"2014-11-14 18:09:59 +0000","journal":"Annals of Mathematical Logic","keywords":"Logic, Constructive mathematics","pages":"249-322","title":"Principles of continuous choice and continuity of functions in formal systems for constructive mathematics","year":"1977","bibtex":"@article{beeson1977b,\n\tauthor = {Michael Beeson},\n\tdate-added = {2014-11-14 17:11:54 +0000},\n\tdate-modified = {2014-11-14 18:09:59 +0000},\n\tjournal = {Annals of Mathematical Logic},\n\tkeywords = {Logic, Constructive mathematics},\n\tpages = {249-322},\n\ttitle = {Principles of continuous choice and continuity of functions in formal systems for constructive mathematics},\n\tyear = {1977}}\n\n","author_short":["Beeson, M."],"key":"beeson1977b","id":"beeson1977b","bibbaseid":"beeson-principlesofcontinuouschoiceandcontinuityoffunctionsinformalsystemsforconstructivemathematics-1977","role":"author","urls":{},"keyword":["Logic","Constructive mathematics"],"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-14T17:58:49.945Z","downloads":0,"keywords":["logic","constructive mathematics"],"search_terms":["principles","continuous","choice","continuity","functions","formal","systems","constructive","mathematics","beeson"],"title":"Principles of continuous choice and continuity of functions in formal systems for constructive mathematics","year":1977,"dataSources":["v9esbf6gQ8h64d3NA"]}