Logico e matematico statunitense (n. New York 1931 - m. 2020), dal 1961 prof. al Queens college Flush ing di New York. I suoi risultati più importanti riguardano prove d'indipendenza relativa degli assiomi della teoria degl'insiemi. Tra i suoi lavori: Introduction to mathematic al logic (1964; trad. it. 1972), Boolean algebra and switching circuits (1970; trad. it. 1975), Beginning calculus (1985). Recentemente si era occupato della teoria dei giochi, dando alle stampe Introducing game theory and its ap plications (2004).