Halmos P. R., the Legend of John Von Neumann
13
description
par un grand logicien, l'étude de l'oeuvre de Von Neumann et ses retombées pratiques sur la logique et l'informatique