Melvin Fitting

Proof Methods For Modal And Intuitionistic Logics