TY - RPRT TI - Constructive Geometry and the Parallel Postulate AU - Michael Beeson PY - 2015 UR - https://arxiv.org/abs/1407.4398 ID - 1407.4398 ER -