- Born 16 August 1919, New York NY
- Died 22 July 1984, Seattle WA
- BA University of California at Los Angeles 1941
- PhD January 1953, University of California at Berkeley
- Adviser: Alfred Tarski
- Dissertation: A study in the arithmetic of order types
- Primary employer: University of Washington, Seattle