www.springer.com The European Mathematical Society
No pages link to Intuitionistic propositional calculus.