Melvin Fitting

Incompleteness in the Land of Sets (Studies in Logic)

Set theory and the continuum problem

First-order modal logic

Raymond Smullyan on Self Reference

First-Order Logic and Automated Theorem Proving

First-order logic and automated theorem proving

Fundamentals of generalized recursion theory

Beyond two

Types, Tableaus, and Gödel's God

Types, Tableaus, and Gödel's God

Intuitionistic logic, model theory and forcing

First-order logic and automated theorem proving

Computability theory, semantics, and logic programming

Beyond two

Proof methods for modal and intuitionistic logics

Types, tableaus, and Gödel's God

Proof Methods For Modal And Intuitionistic Logics