Theory of logical types. - Copi Irving M (London Routledge, 1971)