Mathematics and logic : retrospect and prospects - Kac, Mark (New American Library, 1969)