On 2nd order intuitionistic propositional calculus with full comprehension

Dov M. Gabbay
1974 Archive for Mathematical Logic  
doi:10.1007/bf02015377 fatcat:pndaucaiv5bjfkjubqj3l2bj2i