TY  - BOOK
AU  - Ben-Ari, Mordechai
TI  - Mathematical logic for computer science
SN  - 9781447141280
AV  - QA 9 .B3955 2012 
PY  - 2012///
CY  -  New York
PB  - Springer
KW  - Logic, Symbolic and mathematical
N1  - Includes bibliographical references and index
ER  -