Kleene's Logic with equality
scientific article; zbMATH DE number 1767159
scientific article