A constructive version of Tarski's geometry. Beeson, M. Annals of Pure and Applied Logic, 166(11):1199-1273, 2015.
Pdf doi bibtex 4 downloads @article{beeson2015b,
Author = {Michael Beeson},
Date-Added = {2014-11-15 01:21:33 +0000},
Date-Modified = {2015-10-08 17:57:18 +0000},
Doi = {10.1016/j.apal.2015.07.006},
Journal = {Annals of Pure and Applied Logic},
Keywords = {Constructive mathematics, Geometry, Logic},
Number = {11},
Pages = {1199-1273},
Title = {A constructive version of {T}arski's geometry},
Url_Pdf = {ConstructiveTarski.pdf},
Volume = {166},
Year = {2015},
Bdsk-Url-1 = {http://dx.doi.org/10.1016/j.apal.2015.07.006}}