Herbrand's Theorem and Non-Euclidean Geometry

Onglets principaux

Beeson, M., Boutry, P., & Narboux, J. (2015). Herbrand's Theorem and Non-Euclidean Geometry. The Bulletin Of Symbolic Logic, 21(2), 111-122. doi:10.1017/bsl.2015.6