Non-axiomatizable second-order intuitionistic propositional logic (1997)

by D Skvortsov
Venue:Annals of Pure and Applied Logic