Title: Ein System der typenfreien Logik
Subjects: Symbolic and mathematical Logic