Creative definitions in propositional calculi
scientific article; zbMATH DE number 3467035