Intercalation calculus for intuitionistic propositional logic (1992)

by S Cittadini