Books by Melvin Fitting
Selected Topics from Contempor
Selected Topics from Contemporary Logics
Justification Logic
Justification Logic
Raymond Smullyan on Self Reference
Incompleteness in the Land of Sets (Studies in Logic)
Beyond two
Types, Tableaus, and Gödel's God
First-order modal logic
Set theory and the continuum problem
First-Order Logic and Automated Theorem Proving
Computability theory, semantics, and logic programming
Proof methods for modal and intuitionistic logics
Fundamentals of Generalized Recursion Theory
Intuitionistic logic, model theory and forcing