On the number of variables in undecidable superintuitionistic propositional calculi
superintuitionistic propositional calculus
scientific article; zbMATH DE number 6997981