Book

Proof Methods For Modal And Intuitionistic Logics

by Melvin Fitting