Mathematician:Richard C. Jeffrey

From ProofWiki
Jump to: navigation, search

Mathematician

American mathematician who mainly worked in logic and probability theory.


Nationality

American


History

  • Born: 5 August 1926
  • Died: 9 November 2002


Publications

  • 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