Systeme der kumulativen Logik
The systems of cumulative logic treated in this book are introduced as generalisations and at the same time as extensions of the simple theory of types predication is taken to be cumulative in the sense that objects of a fixed type may be predicated of objects with arbitrary lower types, and not only, as in the case of normal simple ...