TY  - BOOK
AU  - Leary,Christopher C.
TI  - A friendly introduction to mathematical logic
SN  - 0130107050
PY  - 2000///
CY  - Upper Saddle River, NJ
PB  - Prentice Hall
KW  - Computer logic
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references and index
ER  -