Melvin Fitting

Computability theory, semantics, and logic programming

1987

First-order logic and automated theorem proving

1990

Proof methods for modal and intuitionistic logics

1983

Intuitionistic logic model theory and forcing

1969

Proof Methods For Modal And Intuitionistic Logics

Set theory and the continuum problem

1996

Beyond two

Computability theory, semantics, and logic programming

1987

First-order modal logic

1998

Fundamentals of generalized recursion theory

1981

Incompleteness in the Land of Sets (Studies in Logic)

2007

Intuitionistic logic, model theory and forcing

1969

Proof methods for modal and intuitionistic logics

1983

Types, tableaus, and Gödel's God

2002

First-order logic and automated theorem proving

1990

Beyond two

First-Order Logic and Automated Theorem Proving

Types, Tableaus, and Gödel's God

Raymond Smullyan on Self Reference

Justification Logic

Fundamentals of Generalized Recursion Theory

Selected Topics from Contemporary Logics

Types, Tableaus, and Gödel's God