astudy in intuitionistic propositional logic (1995)

by NILL
Venue:Modal Logic and Process Algebra, a Bisimulation Perspective