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)
Proof Methods For Modal And Intuitionistic Logics
First-order modal logic
Fundamentals of generalized recursion theory
Incompleteness in the Land of Sets (Studies in Logic)
Intuitionistic logic, model theory and forcing
Beyond two
Beyond Two: Theory and Applications of Multiple-Valued Logic
Computability theory, semantics, and logic programming
Types, Tableaus, and Gödel's God
First-Order Logic and Automated Theorem Proving