@article{beeson2015c-narboux-boutry,
	author = {Michael Beeson and Pierre Boutry and Julien Narboux},
	date-added = {2014-11-15 01:23:10 +0000},
	date-modified = {2015-06-25 19:08:05 +0000},
	journal = {Bulletin of Symbolic Logic},
	keywords = {Logic, Geometry},
	month = {June},
	number = {1},
	pages = {111-122},
	title = {{H}erbrand's theorem and non-{E}uclidean geometry},
	url_pdf = {HerbrandEuclid.pdf},
	volume = {21},
	year = {2015}}

{"_id":"c9cp354cXkfYkWb72","bibbaseid":"beeson-boutry-narboux-herbrandstheoremandnoneuclideangeometry-2015","author_short":["Beeson, M.","Boutry, P.","Narboux, J."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]},{"firstnames":["Pierre"],"propositions":[],"lastnames":["Boutry"],"suffixes":[]},{"firstnames":["Julien"],"propositions":[],"lastnames":["Narboux"],"suffixes":[]}],"date-added":"2014-11-15 01:23:10 +0000","date-modified":"2015-06-25 19:08:05 +0000","journal":"Bulletin of Symbolic Logic","keywords":"Logic, Geometry","month":"June","number":"1","pages":"111-122","title":"Herbrand's theorem and non-Euclidean geometry","url_pdf":"HerbrandEuclid.pdf","volume":"21","year":"2015","bibtex":"@article{beeson2015c-narboux-boutry,\n\tauthor = {Michael Beeson and Pierre Boutry and Julien Narboux},\n\tdate-added = {2014-11-15 01:23:10 +0000},\n\tdate-modified = {2015-06-25 19:08:05 +0000},\n\tjournal = {Bulletin of Symbolic Logic},\n\tkeywords = {Logic, Geometry},\n\tmonth = {June},\n\tnumber = {1},\n\tpages = {111-122},\n\ttitle = {{H}erbrand's theorem and non-{E}uclidean geometry},\n\turl_pdf = {HerbrandEuclid.pdf},\n\tvolume = {21},\n\tyear = {2015}}\n\n","author_short":["Beeson, M.","Boutry, P.","Narboux, J."],"key":"beeson2015c-narboux-boutry","id":"beeson2015c-narboux-boutry","bibbaseid":"beeson-boutry-narboux-herbrandstheoremandnoneuclideangeometry-2015","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/HerbrandEuclid.pdf"},"keyword":["Logic","Geometry"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":["logic","geometry"],"search_terms":["herbrand","theorem","non","euclidean","geometry","beeson","boutry","narboux"],"title":"Herbrand's theorem and non-Euclidean geometry","year":2015}