The theory of logical types
Copi, Irving M.
London Routledge and K. Paul
1971
bibl p118-125
Types (Logic)