Author

Melvin Fitting

born 1942 23 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

23 books
Incompleteness in the Land of Sets (Studies in Logic)

Incompleteness in the Land of Sets (Studies in Logic)

2007
Types, tableaus, and Gödel's God

Types, tableaus, and Gödel's God

2002
First-order modal logic

First-order modal logic

1998 Melvin Fitting and Richard L. Mendelsohn
Set theory and the continuum problem

Set theory and the continuum problem

1996 Raymond M. Smullyan and Melvin Fitting
First-order logic and automated theorem proving

First-order logic and automated theorem proving

1990
First-order logic and automated theorem proving

First-order logic and automated theorem proving

1990
Computability theory, semantics, and logic programming

Computability theory, semantics, and logic programming

1987
Computability theory, semantics, ...

Computability theory, semantics, and logic programming

1987
Proof methods for modal and intuitionistic logics

Proof methods for modal and intuitionistic logics

1983
Proof methods for modal and intui...

Proof methods for modal and intuitionistic logics

1983
Fundamentals of generalized recursion theory

Fundamentals of generalized recursion theory

1981
Intuitionistic logic model theory...

Intuitionistic logic model theory and forcing

1969
Intuitionistic logic, model theory and forcing

Intuitionistic logic, model theory and forcing

1969
Beyond two

Beyond two

Year unknown
Beyond two

Beyond two

Year unknown
First-Order Logic and Automated Theorem Proving

First-Order Logic and Automated Theorem Proving

Year unknown
Fundamentals of Generalized Recur...

Fundamentals of Generalized Recursion Theory

Year unknown
Justification Logic

Justification Logic

Year unknown Sergei Artemov and Melvin Fitting
Proof Methods For Modal And Intuitionistic Logics

Proof Methods For Modal And Intuitionistic Logics

Year unknown
Raymond Smullyan on Self Reference

Raymond Smullyan on Self Reference

Year unknown Melvin Fitting and Brian Rayman
Selected Topics from Contemporary...

Selected Topics from Contemporary Logics

Year unknown
Types, Tableaus, and Gödel's God

Types, Tableaus, and Gödel's God

Year unknown
Types, Tableaus, and Gödel's God

Types, Tableaus, and Gödel's God

Year unknown

Fetched from OpenLibrary. Some translations may appear as separate works.