Email Record: Louis Couturat, Traité de Logique algorithmique /