Mathematician:Melvin Fitting

From ProofWiki
Jump to navigation Jump to search

Mathematician

American mathematician specialising in logic.


Nationality

American


History

  • Born: January 24, 1942 in Troy, New York


Publications

  • 1969: Intuitionistic Logic Model Theory and Forcing
  • 1981: Fundamentals of Generalized Recursion Theory
  • 1983: Proof Methods for Modal and Intuitionistic Logics
  • 1987: Computability Theory, Semantics and Logic Programming
  • 1990: First-Order Logic and Automated Theorem Proving (second edition: 1996)
  • 1998: First-Order Modal Logic (with Richard Mendelsohn)
  • 2002: Types, Tableaus, and Goedel's God
  • 2003: Beyond Two: Theory and Applications of Multiple-Valued Logic (coedited with Ewa Orlowska)
  • 2007: Incompleteness in the Land of Sets