ProofWiki:Mathematicians/George Stephen Boolos
From ProofWiki
< ProofWiki:Mathematicians(Redirected from ProofWiki:Mathematicians/George S. Boolos)
American philosopher who also worked in the field of mathematical logic.
Contents |
Nationality
American
History
- Born: September 4, 1940, New York City
- Died: May 27, 1996
Theorems and Definitions
Books, Publications, etc.
- 1974: Computability and Logic (with Richard C. Jeffrey)
- 1979: The Unprovability of Consistency: An Essay in Modal Logic
- 1980: Computability and Logic (2nd edition) (with Richard C. Jeffrey)
- 1989: Computability and Logic (3rd edition) (with Richard C. Jeffrey)
- 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)
- 2002: Computability and Logic (4th edition) (with Richard Jeffrey and John P. Burgess): ISBN 0-521-00758-5
