Return to Article Details Extension to Geometry of <i>Principia Mathematica</i> and Related Systems II Download Download PDF