Person · Open Library
- Born
- 1932
- Works
- 10
Top works
- Logical methods
- Logical methods
- Logic programming and non-monotonic reasoning
- Automata theory and its applications
- Logical foundations of computer science--Tver '92
via Open Library + Wikidata
Key dates
- Born
- 4 June 1932
via Wikidata · CC0
Wikidata facts
- Instance of
- human
- Gender
- male
- Citizenship
- United States
- Place of birth
- Los Angeles
- Occupation
- editor
- Educated at
- University of Chicago
- Employer
- Cornell University
- Languages spoken
- English language
- Doctoral advisor
- Saunders Mac Lane
- Field of work
- publishing