JOB TITLE: Professor Emeritus UC In Memoriam biography RESEARCH AREA: Mathematical Logic RESEARCH INTERESTS: Foundations of mathematics