The logical strength of compositional principles
scientific article; zbMATH DE number 6848189
scientific article