The elimination of modular existence postulates.

From MaRDI portal
Publication:1469764