TY  - RPRT
TI  - Herbrand's theorem and non-Euclidean geometry
AU  - Michael Beeson
AU  - Pierre Boutry
AU  - Julien Narboux
PY  - 2015
UR  - https://arxiv.org/abs/1410.2239
ID  - 1410.2239
ER  -