TY  - BOOK
AU  - Hodges, Wilfrid
TI  - Logic
U1  - 511.3 H667L 
PY  - 1977///
CY  - London
PB  - Penguin Books
ER  -