TY - BOOK AU - Ben-Ari Mordechai TI - Mathematical logic for computer science 2nd edition PY - 2005/// PB - Springer, New delhi KW - Mathematical logic for computer science 2nd edition KW - Stats/Maths N2 - Stats/Maths ER -