TY  - BOOK
AU  - Burris,Stanley N.
TI  - Logic for methematics and computer science
SN  - 132859742
PY  - 1998///
CY  - NewJersy
PB  - Prentice Hall
ER  -