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