Expressive power and incompleteness of propositional logics
scientific article; zbMATH DE number 5701559
scientific article