The theory of logical types - Copi, Irving M. (London Routledge and K. Paul, 1971)
Keywords: Type theory