Title: Louis Couturat -Trait de Logique Algorithmique