@article{ beeson2015b,
  author = {Michael Beeson},
  date-added = {2014-11-15 01:21:33 +0000},
  date-modified = {2014-11-15 01:27:28 +0000},
  journal = {Memoirs of the American Mathematical Society },
  keywords = {Constructive mathematics, Geometry, Logic},
  title = {A constructive version of {T}arski's geometry},
  year = {Submitted}
}