2004/65/1-2 (6) — DOI: 10.5486/PMD.2004.2906 — pp. 81-95
Full Text Abstract

Fragmente der ebenen hyperbolischen Geometrie

Authors: Victor Pambuccian

Keywords: hyperbolic geometry, geometric construction, quantifier-free axiomatization

Mathematics Subject Classification: 51M10, 03B30, 03F65