Describir: Louis Couturat -Traité de Logique algorithmique