Title: Theory of Logical Types
Subjects: Logic, symbolic and mathematical, Type theory, Théorie des types, Logique symbolique et mathématique, PHILOSOPHY, Logic, Logik, Mathematische Logik, Typentheorie, Logica Matematica