Mathematician:George Stephen Boolos
Jump to navigation
Jump to search
Mathematician
American philosopher who also worked in the field of mathematical logic.
Nationality
American
History
- Born: September 4, 1940, New York City
- Died: May 27, 1996
Publications
- 1974: Computability and Logic (with Richard C. Jeffrey)
- 1980: Computability and Logic, 2nd ed. (with Richard C. Jeffrey)
- 1989: Computability and Logic, 3rd ed. (with Richard C. Jeffrey)
- 2002: Computability and Logic, 4th ed. (with Richard Jeffrey and John P. Burgess): ISBN 0-521-00758-5
- 1979: The Unprovability of Consistency: An Essay in Modal Logic
- 1990 (editor): Meaning and Method: Essays in Honor of Hilary Putnam
- 1993: The Logic of Provability
- 1998: Logic, Logic, and Logic (edited by Richard Jeffrey and John P. Burgess)