Louis Couturat -Traité de Logique algorithmique