Elimination of extra-logical postulates.

From MaRDI portal
Publication:2589530