Louis Couturat - traité de logique algorithmique - Couturat, Louis (Springer Basel AG, 2010)