Louis Couturat - traité de logique algorithmique - Couturat, Louis (Publications des Archives Henri Poincaré, 2010)