Herbrand's theorem and non-Euclidean geometry

Herbrand's theorem and non-Euclidean geometry. Beeson, M.; Boutry, P.; and Narboux, J. Journal of Symbolic Logic (submitted), 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:27:42 +0000},
  journal = {Journal of Symbolic Logic (submitted)},
  keywords = {Logic, Geometry},
  title = {{H}erbrand's theorem and non-{E}uclidean geometry},
  year = {Submitted}
}

Downloads: 0