Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry

• Autores: Victor Pambuccian
• Localización: Mathematical Logic Quarterly, ISSN 0942-5616, Vol. 47, Nº 1, 2001, págs. 129-136
• Idioma: inglés
• Texto completo no disponible (Saber más ...)