John Von Neumann, collected works volume 1: logic, theory of sets and quantum mechanics. - Pergamon Press, 1961. - ( Oeuvres de NEUMANN, John von ; 1).