TY  - BOOK
AU  - MORDECHAI BEN ARI
TI  - MATHEMATICAL LOGIC FOR COMPUTER SCIENCE
T2  - PRENTICE-HALL INTERNATIONAL SERIES IN COMPUTER SCIENCE
SN  - 013564139X
U1  - 511.3 
PB  - PRENTICE-HALL
KW  - MATHEMATICS
KW  - LOGICS
ER  -