@inproceedings{beeson2012,
	address = {Berlin Heidelberg},
	author = {Michael Beeson},
	booktitle = {Computability in Europe 2012},
	date-added = {2014-11-13 22:57:33 +0000},
	date-modified = {2014-11-14 18:30:35 +0000},
	editor = {S. Barry Cooper and Anuj Dawar and Benedict Loewe},
	keywords = {Geometry, Constructive mathematics},
	pages = {46-55},
	publisher = {Springer-Verlag},
	series = {Theoretical Computer Science and General Issues},
	title = {Logic of ruler and compass constructions},
	url_pdf = {Cambridge.pdf},
	volume = {7318},
	year = {2012}}

{"_id":"tpA5J9SRyxBrcxmDr","bibbaseid":"beeson-logicofrulerandcompassconstructions-2012","author_short":["Beeson, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Berlin Heidelberg","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"booktitle":"Computability in Europe 2012","date-added":"2014-11-13 22:57:33 +0000","date-modified":"2014-11-14 18:30:35 +0000","editor":[{"firstnames":["S.","Barry"],"propositions":[],"lastnames":["Cooper"],"suffixes":[]},{"firstnames":["Anuj"],"propositions":[],"lastnames":["Dawar"],"suffixes":[]},{"firstnames":["Benedict"],"propositions":[],"lastnames":["Loewe"],"suffixes":[]}],"keywords":"Geometry, Constructive mathematics","pages":"46-55","publisher":"Springer-Verlag","series":"Theoretical Computer Science and General Issues","title":"Logic of ruler and compass constructions","url_pdf":"Cambridge.pdf","volume":"7318","year":"2012","bibtex":"@inproceedings{beeson2012,\n\taddress = {Berlin Heidelberg},\n\tauthor = {Michael Beeson},\n\tbooktitle = {Computability in Europe 2012},\n\tdate-added = {2014-11-13 22:57:33 +0000},\n\tdate-modified = {2014-11-14 18:30:35 +0000},\n\teditor = {S. Barry Cooper and Anuj Dawar and Benedict Loewe},\n\tkeywords = {Geometry, Constructive mathematics},\n\tpages = {46-55},\n\tpublisher = {Springer-Verlag},\n\tseries = {Theoretical Computer Science and General Issues},\n\ttitle = {Logic of ruler and compass constructions},\n\turl_pdf = {Cambridge.pdf},\n\tvolume = {7318},\n\tyear = {2012}}\n\n","author_short":["Beeson, M."],"editor_short":["Cooper, S. B.","Dawar, A.","Loewe, B."],"key":"beeson2012","id":"beeson2012","bibbaseid":"beeson-logicofrulerandcompassconstructions-2012","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/Cambridge.pdf"},"keyword":["Geometry","Constructive mathematics"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":["geometry","constructive mathematics"],"search_terms":["logic","ruler","compass","constructions","beeson"],"title":"Logic of ruler and compass constructions","year":2012}