- Born 8 December 1919, St. Louis MO
- Died 30 July 1985, Berkeley CA
- AB University of California at Berkeley 1940
- MA University of California at Berkeley 1941
- PhD June 1948, University of California at Berkeley
- Adviser: Alfred Tarski
- Dissertation: Definability and decision problems in arithmetic
- Primary employer: University of California at Berkeley