A constructive version of Tarski's geometry. Beeson, M. Annals of Pure and Applied Logic, 166(11):1199-1273, 2015.
A constructive version of Tarski's geometry [pdf]Pdf  doi  bibtex   

Downloads: 0