First Page | Document Content | |
---|---|---|
Date: 2016-12-20 09:17:19 | Herbrand’s theorem and non-Euclidean geometry Michael Beeson, Pierre Boutry, Julien Narboux To cite this version: Michael Beeson, Pierre Boutry, Julien Narboux. Herbrand’s theorem and non-Euclidean geometry. BulletinAdd to Reading ListSource URL: hal.inria.frDownload Document from Source WebsiteFile Size: 592,09 KBShare Document on Facebook |