Louis Couturat -Trait de Logique algorithmique - Schlaudt, Oliver (Publications des Archives Henri Poincar Publications of the Henri Poincar Archives, 2010)