Méthode axiomatique et formalisme essai sur le problème du fondement des mathématiques - Cavaillès, Jean 1903-1944 (Hermann, 1981)