Mathematics and logic - Kac, Mark; Ulam, Stanislaw M (Dover Books on Mathematics, 1992)