Louis Couturats „Traité de Logique algorithmique“ entführt den Leser in die Entfaltung der algorithmischen Denkweise des frühen 20. Jahrhunderts, indem er klassische Argumentationsformen mit aufkommenden Berechnungsprinzipien verbindet und dadurch neue Wege für Beweistechnik aufzeigt.