Constructive Geometry. Beeson, M. In Arai, T., Brendle, J., Chong, C., R.~Downey, Q.~Feng, H.~Kikyou, & H.~Ono, editors, *Proceedings of the Tenth Asian Logic Colloquium, Kobe, Japan, 2008*, pages 19-84, Singapore, 2010. World Scientific.

Pdf bibtex

Pdf bibtex

@inproceedings{beeson2010, address = {Singapore}, author = {Michael Beeson}, booktitle = {Proceedings of the Tenth Asian Logic Colloquium, Kobe, Japan, 2008}, date-added = {2014-11-13 23:03:00 +0000}, date-modified = {2014-11-15 01:17:11 +0000}, editor = {T. Arai and J. Brendle and C.~T.~ Chong and R.~Downey and Q.~Feng and H.~Kikyou and H.~Ono}, keywords = {Geometry, Constructive mathematics}, pages = {19-84}, publisher = {World Scientific}, title = {Constructive Geometry}, url_pdf = {ConstructiveGeometryFinalPreprintVersion.pdf}, year = {2010}}

Downloads: 0

{"_id":"YPEhhFmApaihZd6qG","authorIDs":["2SdAzEbDMovr39m3H","4zHeuQRwDkMD6Xqr8","546642d9bc7d6a460d00089c","5de8d43e9e80cdde01000195","5defeac014db5cdf0100007c","5dfc2497ff6df7de01000070","5e03ae17a94129de0100000d","5e0dc417c7ca67df01000109","5e13f6acf8aa5dde01000042","5e2f4a4c26e5cadf0100001c","5e51bde132046bdf0100010a","5e51e8358240c0df01000020","5e69258d662319de010002c5","646esaGECfJjWFymd","7mrKCLm7cPiKm5CWg","B6skFWJok43hJg7At","BGLwXT98q3Kfv9QTj","QcRbyYqcCRCSzhNb4","SsSrsyDc8aoqbnh2Y","TqZdHatzyaM88iEPt","WRMwE6oZ4X9x2raNz","XXmWhRQTdX28SvTMv","Y6CDZWnAjiy5nMvqw","Z3LjuYrif98QXhXZM","b6rQCmwcvrZxCNy6n","bo9wnnFY7yzdyp7Ys","bzE2DwxKMcdB45SRa","chfLHypwisu7qBotT","dZMcb62spBJnnjs3t","dpRM5cTGAFrusW55R","gKswhtTyf2MZBNzTm","ggWmAzYnJEh8XEXgn","gpNwNhYtCK7mSpaXS","hH3KZcgia6CKuCB3K","iGE2RbobA9XCL82JW","kTLoeuwJ8R9Lz7wYx","ntERk8MYJbwtJvdLg","pCMiYg5EBwjkwPqC5","tKZHk67ZbM8m8gTG5","wREPnWGHjcJZafazQ","wwTsH4RwBNarDwfdT"],"author_short":["Beeson, M."],"bibbaseid":"beeson-constructivegeometry-2010","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Singapore","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"booktitle":"Proceedings of the Tenth Asian Logic Colloquium, Kobe, Japan, 2008","date-added":"2014-11-13 23:03:00 +0000","date-modified":"2014-11-15 01:17:11 +0000","editor":[{"firstnames":["T."],"propositions":[],"lastnames":["Arai"],"suffixes":[]},{"firstnames":["J."],"propositions":[],"lastnames":["Brendle"],"suffixes":[]},{"firstnames":["C.~T.~"],"propositions":[],"lastnames":["Chong"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["R.~Downey"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["Q.~Feng"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["H.~Kikyou"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["H.~Ono"],"suffixes":[]}],"keywords":"Geometry, Constructive mathematics","pages":"19-84","publisher":"World Scientific","title":"Constructive Geometry","url_pdf":"ConstructiveGeometryFinalPreprintVersion.pdf","year":"2010","bibtex":"@inproceedings{beeson2010,\n\taddress = {Singapore},\n\tauthor = {Michael Beeson},\n\tbooktitle = {Proceedings of the Tenth Asian Logic Colloquium, Kobe, Japan, 2008},\n\tdate-added = {2014-11-13 23:03:00 +0000},\n\tdate-modified = {2014-11-15 01:17:11 +0000},\n\teditor = {T. Arai and J. Brendle and C.~T.~ Chong and R.~Downey and Q.~Feng and H.~Kikyou and H.~Ono},\n\tkeywords = {Geometry, Constructive mathematics},\n\tpages = {19-84},\n\tpublisher = {World Scientific},\n\ttitle = {Constructive Geometry},\n\turl_pdf = {ConstructiveGeometryFinalPreprintVersion.pdf},\n\tyear = {2010}}\n\n","author_short":["Beeson, M."],"editor_short":["Arai, T.","Brendle, J.","Chong, C.","R.~Downey","Q.~Feng","H.~Kikyou","H.~Ono"],"key":"beeson2010","id":"beeson2010","bibbaseid":"beeson-constructivegeometry-2010","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/ConstructiveGeometryFinalPreprintVersion.pdf"},"keyword":["Geometry","Constructive mathematics"],"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-14T17:58:50.045Z","downloads":4,"keywords":["geometry","constructive mathematics"],"search_terms":["constructive","geometry","beeson"],"title":"Constructive Geometry","year":2010,"dataSources":["v9esbf6gQ8h64d3NA"]}