Non-axiomatizable second order intuitionistic propositional logic
second-order intuitionistic propositional logic
scientific article; zbMATH DE number 1038663
scientific article