Mathematician:Melvin Fitting

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)

• 1996: Set Theory and the Continuum Problem (with Raymond M. Smullyan)
  • 2010: Set Theory and the Continuum Problem, revised ed. (with Raymond M. Smullyan)

• 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