Intuitionistic completeness and classical logic
scientific article; zbMATH DE number 2104807