Louis Couturat -Traité de Logique algorithmique - Schlaudt, Oliver; Sakhri, Mohsen (Birkhäuser Basel, 2010)