Mathematics and logic : retrospect and prospects - Kac, Mark, 1914-1984 (Frederick A. Praeger, 1968)