ProofWiki:Mathematicians/Richard C. Jeffrey
From ProofWiki
American mathematician who mainly worked in logic and probability theory.
Contents |
Nationality
American
History
- Born: 5 August 1926
- Died: 9 November 2002
Theorems and Definitions
Books, Publications, etc.
- 1974: Computability and Logic (with George S. Boolos)
- 1980: Computability and Logic (2nd edition) (with George S. Boolos)
- 1989: Computability and Logic (3rd edition) (with George S. Boolos)
- 1990: Formal Logic: Its Scope and Limits (3rd edition): ISBN 0-07-032357-7
- 1990: The Logic of Decision (2nd edition): ISBN 0-226-39582-0
- 1992: Probability and the Art of Judgment: ISBN 0-521-39770-7
- 2002: Computability and Logic (4th edition) (with George S. Boolos and John P. Burgess): ISBN 0-521-00758-5
- 2004: Subjective Probability: The Real Thing: ISBN 0-521-53668-5
- 2006: Formal Logic: Its Scope and Limits (4th edition), edited by John P. Burgess: ISBN 0872208133, ISBN 978-0872208131
