TY  - BOOK
AU  - Leary,Christopher C.
TI  - A friendly introduction to mathematical logic
SN  - 0130107050
AV  - QA76.9 .L63 L427F
PY  - 2002///
CY  - Upper Saddle River, N.J.
PB  - Prentice Hall
KW  - COMPUTER LOGIC
KW  - LOGIC, SYMBOLIC AND MATHEMATICAL
N1  - Includes bibliographical references and index
ER  -