TY  - GEN
AU  - Kelly,John J.
TI  - Essence of logic
SN  - 0133963756
AV  - QA76 
PY  - 1997///
CY  - New York, London
PB  - Prentice Hall
KW  - Computer science
KW  - Logic Symbolic and mathematical
N1  - Includes bibliographical references (p. 250) and index
ER  -