TY  - BOOK
AU  - Ben Ari, Mordechai 
TI  - Mathematical logic for computer science 
SN  - 978-81-8128-344-3 
U1  - 511.3 BEN  
PY  - 2008///
CY  - Springar publications 
PB  - New Delhi 
KW  - MATHEMATICS
ER  -