Mathematics and logic - Kac, Marc; Ulam, Stanisław M. 1909-1984 (Dover Publ., 1992)