The determination of all Sheffer functions in 3-valued logic, using a logical computer
scientific article; zbMATH DE number 3181177