TY  - BOOK
AU  - M. Ben-Ari
TI  - Mathematical logic for computer science
SN  - 0-13-564139-x
U1  -  511.3 
PY  - 1993///
CY  - New York,USA
PB  - Prentice Hall
ER  -