Skip to content
Vinony

Proof methods for modal and intuitionistic logics

by Melvin Fitting · 1983

Cover of Proof methods for modal and intuitionistic logics

No description available.

Intuitionistic mathematicsModality (Logic)Proof theoryLogicLogic, symbolic and mathematical