Axiomatique : Intutionniste sans negation de la geometrie projective - Dequoy M N (Paris Gauthier-Villars, 1955)
Keywords: Projective geometry