Skip to content
Vinony

Proof Methods For Modal And Intuitionistic Logics

by Melvin Fitting

Cover of Proof Methods For Modal And Intuitionistic Logics

No description available.

Proof theoryModality (logic)Intuitionistic mathematics
Proof Methods For Modal And Intuitionistic Logics by Melvin Fitting — book · Vinony