Proof Methods for Modal and Intuitionistic Logics M. Fitting E-Book (pdf)

Fundamentals of Generalized Recursion Theory M. Fitting E-Book (pdf)

First-Order Modal Logic M. Fitting, Richard L. Mendelsohn E-Book (pdf)