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 International
ER  -