M Fitting

M Fitting is the author of books such as Proof Methods For Modal and Intuitionistic Logics.

Books by M Fitting