@article{beeson2015b,
	author = {Michael Beeson},
	date-added = {2014-11-15 01:21:33 +0000},
	date-modified = {2015-10-08 17:57:18 +0000},
	doi = {10.1016/j.apal.2015.07.006},
	journal = {Annals of Pure and Applied Logic},
	keywords = {Constructive mathematics, Geometry, Logic},
	number = {11},
	pages = {1199-1273},
	title = {A constructive version of {T}arski's geometry},
	url_pdf = {ConstructiveTarski.pdf},
	volume = {166},
	year = {2015},
	bdsk-url-1 = {http://dx.doi.org/10.1016/j.apal.2015.07.006}}

{"_id":"57PrHQfFH6bn92o7B","bibbaseid":"beeson-aconstructiveversionoftarskisgeometry-2015","author_short":["Beeson, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"date-added":"2014-11-15 01:21:33 +0000","date-modified":"2015-10-08 17:57:18 +0000","doi":"10.1016/j.apal.2015.07.006","journal":"Annals of Pure and Applied Logic","keywords":"Constructive mathematics, Geometry, Logic","number":"11","pages":"1199-1273","title":"A constructive version of Tarski's geometry","url_pdf":"ConstructiveTarski.pdf","volume":"166","year":"2015","bdsk-url-1":"http://dx.doi.org/10.1016/j.apal.2015.07.006","bibtex":"@article{beeson2015b,\n\tauthor = {Michael Beeson},\n\tdate-added = {2014-11-15 01:21:33 +0000},\n\tdate-modified = {2015-10-08 17:57:18 +0000},\n\tdoi = {10.1016/j.apal.2015.07.006},\n\tjournal = {Annals of Pure and Applied Logic},\n\tkeywords = {Constructive mathematics, Geometry, Logic},\n\tnumber = {11},\n\tpages = {1199-1273},\n\ttitle = {A constructive version of {T}arski's geometry},\n\turl_pdf = {ConstructiveTarski.pdf},\n\tvolume = {166},\n\tyear = {2015},\n\tbdsk-url-1 = {http://dx.doi.org/10.1016/j.apal.2015.07.006}}\n\n","author_short":["Beeson, M."],"key":"beeson2015b","id":"beeson2015b","bibbaseid":"beeson-aconstructiveversionoftarskisgeometry-2015","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/ConstructiveTarski.pdf"},"keyword":["Constructive mathematics","Geometry","Logic"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":["constructive mathematics","geometry","logic"],"search_terms":["constructive","version","tarski","geometry","beeson"],"title":"A constructive version of Tarski's geometry","year":2015}