Title: Recherches sur une logique de la pensée créatrice en mathématiques
Subjects: Symbolic and mathematical Logic