Mathematician:Melvin Fitting

American mathematician specialising in logic.

Nationality
American

History

 * Born: October 1942 (?)

Works

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