TY  - BOOK
AU  - Copi, Irving M.
TI  - The theory of logical types
U1  - 160 
PY  - 1971///
CY  - London
PB  - Routledge and K. Paul
KW  - Type theory
N1  - Includes bibliographical references
ER  -