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: (with )
 * 2010: (with )


 * 1998: First-Order Modal Logic (with )
 * 2002: Types, Tableaus, and Goedel's God
 * 2003: Beyond Two: Theory and Applications of Multiple-Valued Logic (coedited with )
 * 2007: Incompleteness in the Land of Sets