Russell types (1908)

Layer 0 — Mathematicsin the Type Theory subtree

B Russell 1908 type-theory + Principia 1910-1913 Russell-Whitehead; modern modern foundational text + ramified vs simple-type + Church 1940 STT.