Title: Theory of Logical Types (Routledge Revivals)