Melvin Fitting profile picture

Melvin Fitting

Stand Alone

Computability Theory, Semantics, and Logic Programming (Oxford Logic Guides, 13)
Set Theory and the Continuum Problem (Oxford Logic Guides)
First-order logic and automated theorem proving
Proof Methods For Modal And Intuitionistic Logics
Beyond two
First-order modal logic
Fundamentals of generalized recursion theory
Incompleteness in the Land of Sets (Studies in Logic)
Intuitionistic logic, model theory and forcing
Proof methods for modal and intuitionistic logics
Types, tableaus, and Gödel's God
First-order logic and automated theorem proving
Beyond two
First-Order Logic and Automated Theorem Proving
Beyond Two: Theory and Applications of Multiple-Valued Logic

See All