Whitehead, Alfred North / Russell, Bertrand: Principia Mathematica.
Mit einem Beitrag von Gödel, Kurt
Vorwort und Einleitungen. (Tb). 126 g. 167 S. N.-A. o. J. Suhrkamp, ISBN 3-518-28193-3

In der Einleitung wird die Typentheorie auch ohne Mathematik dargestellt. Davon brauche ich eine Kopie.

Volltext eng https://plato.stanford.edu/entries/principia-mathematica/