On the existence of regular types

From MaRDI portal
Publication:911582