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