On the logic of UNITY
scientific article; zbMATH DE number 985857
scientific article