Replacement in logic
scientific article; zbMATH DE number 6153138
scientific article