Proof methods for modal and intuitionistic logics

Name: Proof methods for modal and intuitionistic logics
Author: Melvin Fitting

No description available.

Intuitionistic mathematicsModality (Logic)Proof theoryLogicLogic, symbolic and mathematical

Proof methods for modal and intuitionistic logics by Melvin Fitting — book · Vinony