Title: The theory of types
Subjects: Symbolic and mathematical Logic