≡
Home
Recent changes
Special pages
Wikipedia
Ramified type theory
Redirect to:
Principia Mathematica#Ramified types and the axiom of reducibility