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