First degree entailments
scientific article; zbMATH DE number 3183038
scientific article