# Mathematician:Melvin Fitting

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)

- 1996:
*Set Theory and the Continuum Problem*(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*