Your search for M. Fitting

Fundamentals of Generalized Recursion Theory

First-Order Modal Logic

Proof Methods for Modal and Intuitionistic Logics

Types, Tableaus, and Gödel's God

Proof Methods for Modal and Intuitionistic Logics

Types, Tableaus, and Gödel's God

First-Order Modal Logic

First-Order Modal Logic

Incompleteness in the Land of Sets

Proof Methods for Modal and Intuitionistic Logics