TY  - BOOK
AU  - Copi Irving M
TI  - Theory of logical types
U1  - R1, L1-;1 (ER) 
PY  - 1971///
CY  - London
PB  - Routledge and Kegan Paul    
KW  - LOGIC
ER  -