Louis Couturat -Traité de Logique algorithmique (Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives)