Herbrand's theorem and non-Euclidean geometry. Beeson, M., Boutry, P., & Narboux, J. Bulletin of Symbolic Logic, 21(1):111-122, June, 2015.
Herbrand's theorem and non-Euclidean geometry [pdf]Pdf  bibtex   6 downloads  

Downloads: 6