- Born 29 October 1926, New York NY
- Died 25 October 2002, West Lafayette IN
- BS Queens College (NY) 1948
- MA Columbia University 1949
- PhD June 1955, Stanford University
- Adviser: J.C.C. (Chen) McKinsey & Patrick Suppes
- Dissertation: Bi-modal logic, double-closure algebras and Hilbert space
- Primary employer: Purdue University