Constructive Axiomatization of Plane Hyperbolic Geometry

• Autores: Victor Pambuccian
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 47, Nº 4, 2001, págs. 475-488
• Idioma: inglés
• DOI: 10.1002/1521-3870(200111)47:4<475::aid-malq475>3.0.co;2-s
• Texto completo no disponible (Saber más ...)