Mathematician:George Stephen Boolos

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

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: (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