TY  - GEN
AU  - Burris,Stanley
TI  - Logic for mathematics and computer science
SN  - 0132859742
U1  - 511.3 22
PY  - 1998///]
CY  - Upper Saddle River, N.J.
PB  - Prentice Hall
KW  - Logic, Symbolic and mathematical
KW  - BUEsh
KW  - Reading book
N1  - Includes bibliographical references and index
ER  -