Louis Couturat -Traite De Logique Algorithmique by