TY  - BOOK
AU  - Luce A A
TI  - Logic
U1  - R1, J83 
PY  - 1958///
KW  - LOGIC
ER  -