A set of independent postulates for Principia Mathematica.

From MaRDI portal
Publication:562897