The theory of logical types - Copi, Irving M., 1917-2002 (Routledge, Taylor & Francis Group, 2011)