@article{beeson1978b,
	author = {Michael Beeson},
	date-added = {2014-11-17 16:37:21 +0000},
	date-modified = {2014-11-17 18:04:36 +0000},
	journal = {Journal of Symbolic Logic},
	keywords = {Constructive mathematics, Logic},
	pages = {228-246},
	title = {Some relations between classical and constructive mathematics},
	volume = {43},
	year = {1978}}

{"_id":"qpPbLDcrNFM6tig3q","bibbaseid":"beeson-somerelationsbetweenclassicalandconstructivemathematics-1978","author_short":["Beeson, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"date-added":"2014-11-17 16:37:21 +0000","date-modified":"2014-11-17 18:04:36 +0000","journal":"Journal of Symbolic Logic","keywords":"Constructive mathematics, Logic","pages":"228-246","title":"Some relations between classical and constructive mathematics","volume":"43","year":"1978","bibtex":"@article{beeson1978b,\n\tauthor = {Michael Beeson},\n\tdate-added = {2014-11-17 16:37:21 +0000},\n\tdate-modified = {2014-11-17 18:04:36 +0000},\n\tjournal = {Journal of Symbolic Logic},\n\tkeywords = {Constructive mathematics, Logic},\n\tpages = {228-246},\n\ttitle = {Some relations between classical and constructive mathematics},\n\tvolume = {43},\n\tyear = {1978}}\n\n","author_short":["Beeson, M."],"key":"beeson1978b","id":"beeson1978b","bibbaseid":"beeson-somerelationsbetweenclassicalandconstructivemathematics-1978","role":"author","urls":{},"keyword":["Constructive mathematics","Logic"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":["constructive mathematics","logic"],"search_terms":["relations","between","classical","constructive","mathematics","beeson"],"title":"Some relations between classical and constructive mathematics","year":1978}