@inproceedings{beeson1982c,
	address = {Amsterdam},
	author = {Michael Beeson},
	booktitle = {Logic Colloquium '80},
	date-added = {2014-11-14 21:03:24 +0000},
	date-modified = {2014-11-14 22:13:45 +0000},
	editor = {Dirk van Dalen and D.~Lascar and J.~Smiley},
	keywords = {Logic, Constructive mathematics},
	pages = {11-55},
	publisher = {North-Holland},
	title = {Problematic principles in constructive mathematics},
	year = {1982}}

{"_id":"Hm3W5dRE6W4Wdt7Xm","bibbaseid":"beeson-problematicprinciplesinconstructivemathematics-1982","author_short":["Beeson, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Amsterdam","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"booktitle":"Logic Colloquium '80","date-added":"2014-11-14 21:03:24 +0000","date-modified":"2014-11-14 22:13:45 +0000","editor":[{"firstnames":["Dirk"],"propositions":["van"],"lastnames":["Dalen"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["D. Lascar"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["J. Smiley"],"suffixes":[]}],"keywords":"Logic, Constructive mathematics","pages":"11-55","publisher":"North-Holland","title":"Problematic principles in constructive mathematics","year":"1982","bibtex":"@inproceedings{beeson1982c,\n\taddress = {Amsterdam},\n\tauthor = {Michael Beeson},\n\tbooktitle = {Logic Colloquium '80},\n\tdate-added = {2014-11-14 21:03:24 +0000},\n\tdate-modified = {2014-11-14 22:13:45 +0000},\n\teditor = {Dirk van Dalen and D.~Lascar and J.~Smiley},\n\tkeywords = {Logic, Constructive mathematics},\n\tpages = {11-55},\n\tpublisher = {North-Holland},\n\ttitle = {Problematic principles in constructive mathematics},\n\tyear = {1982}}\n\n","author_short":["Beeson, M."],"editor_short":["van Dalen, D.","D. Lascar","J. Smiley"],"key":"beeson1982c","id":"beeson1982c","bibbaseid":"beeson-problematicprinciplesinconstructivemathematics-1982","role":"author","urls":{},"keyword":["Logic","Constructive mathematics"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":["logic","constructive mathematics"],"search_terms":["problematic","principles","constructive","mathematics","beeson"],"title":"Problematic principles in constructive mathematics","year":1982}