Text this: Louis Couturat, Traité de Logique algorithmique /