Theory of logical types - Copi Irving M (London Routledge and Kegan Paul, 1971)
Keywords: LOGIC