Louis Couturat -TraitΓ© de Logique algorithmique - Schlaudt, Oliver (Springer Basel AG, 2010)