Livre Wagner, Pierre. – La machine en logique. – Paris : Presses Universitaires de France, 1998. – 240 p. – (Science, histoire et société).