On Nicod's reduction in the number of primitives of logic.

From MaRDI portal
Publication:562842