A constructive version of Tarski's geometry. Beeson, M. Memoirs of the American Mathematical Society, submitted.
bibtex   
@article{ beeson2015b,
  author = {Michael Beeson},
  date-added = {2014-11-15 01:21:33 +0000},
  date-modified = {2014-11-15 01:22:51 +0000},
  journal = {Memoirs of the American Mathematical Society, submitted},
  keywords = {Constructive mathematics, Geometry, Logic},
  title = {A constructive version of {T}arski's geometry}
}
Downloads: 0