TY  - BOOK
AU  - Kelly,John
TI  - The essence of logic / 
SN  - 0133963756   
PY  - 1996///.
CY  - London
PB  - Prentice Hll, 
KW  - Computer science
ER  -