Stav dette: Louis Couturat, Traité de Logique algorithmique / edited by Oliver Schlaudt and Mohsen Sakhri, with an introduction and annotations by Olivier Schlaudt.