"Th\u00E9orie de la d\u00E9monstration" . . . "Arithm\u00E9tique -- Fondements" . . . "Raisonnement" . . . . "Text" . . . . . . "Recherches sur la th\u00E9orie de la d\u00E9monstration" . . "Th\u00E8ses et \u00E9crits acad\u00E9miques" . "Recherches sur la th\u00E9orie de la d\u00E9monstration" . "1930" . .