TY  - BOOK
AU  - Burris  N. Stanley.
TI  - Logic for Mathematics and Computer Science
SN  - 01328559742
AV  - QA9 .B86 1998 13551
PY  - 1998///
CY  - New Jersey.
PB  - Prentice Hall
KW  - 1.Logic, Symbolic and mathematical
N1  - Includes bibliographical references and index
ER  -