On a second order propositional operator in intuitionistic logic
scientific article; zbMATH DE number 3741355
scientific article