Preuves et réfutations, essai sur la logique de la découverte mathématique. - Hermann, 1984. - ( Actualités scientifiques et industrielles ; 1412).