Plural logicism (Q485629)

From MaRDI portal