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.
![Constructive Geometry [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
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":"hJ9JnPceQdapLFpAn","bibbaseid":"beeson-constructivegeometry-2010","author_short":["Beeson, M."],"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":{}}},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","dataSources":["v9esbf6gQ8h64d3NA"],"keywords":["geometry","constructive mathematics"],"search_terms":["constructive","geometry","beeson"],"title":"Constructive Geometry","year":2010}