Herbrand's theorem and non-Euclidean geometry. Beeson, M.; Boutry, P.; and Narboux, J. Journal of Symbolic Logic (submitted).
bibtex   
@article{ beeson2015c-narboux-boutry,
  author = {Michael Beeson and Pierre Boutry and Julien Narboux},
  date-added = {2014-11-15 01:23:10 +0000},
  date-modified = {2014-11-15 01:24:40 +0000},
  journal = {Journal of Symbolic Logic (submitted)},
  keywords = {Logic, Geometry},
  title = {{H}erbrand's theorem and non-{E}uclidean geometry}
}
Downloads: 0