The theory of logical types - Copi, Irving M. (London : Routledge and K. Paul, 1971)
Includes bibliographical references
Keywords: Type theory