The Theory of Logical Types Monographs in Modern Logic - Copi, Irving M. (Routledge)