Metalogical decorations of logical diagrams
scientific article; zbMATH DE number 6657600
scientific article