Text this: Louis Couturat -Traité de Logique algorithmique