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