Axiomatique intuitionniste sans négation de la géométrie projective
par N. Dequoy.
Paris : Gauthier-Villars ; Louvain : E. Nauwelaerts, 1955.
108 págs. : ilustraciones ; 25 cm.
Serie: Collection de logique mathématique. Série A ; VI
Reseña: MathSciNet, 16,783d