Constructive geometry and the parallel postulate. Beeson, M. Bulletin of Symbolic Logic, 22(1):1-104, March, 2016.
Constructive geometry and the parallel postulate [pdf]Pdf  bibtex   

Downloads: 0