"Bewijstheorie." . . "Raisonnement." . . "Logic." . . "Mathématiques intuitionnistes." . . "démonstration (mathématiques) intuitionnisme (mathématiques) [anthologie]" . . "Intuïtionisme." . . "Mathématiques Fondements." . . "Intuitionnisme." . . "Formalisme (mathématiques)." . . "Matemàtica intuïcionista." . . "Intuitionistische Mathematik." . . "Intuitionistic mathematics." . . "Aufsatzsammlung." . . "Mathématiques Philosophie." . . . . "Intuitionisme et théorie de la démonstration" . . . . . . . "Intuitionnisme et théorie de la démonstration" . . . . . . "Intuitionisme et theorie de la demonstration" . . . . . . . . . . . . . . . . . "Intuitionisme et théorie de la démonstration : textes de Bernays, Brouwer, Gentzen, Gödel, Hilbert, Kreisel, Weyl" . . . . . . . . . . . "Logique mathématique non classique." . . . . "Formalismus (Mathematik)" . .