TY  - BOOK
AU  - Ben-Ari,M.
TI  - Mathematical logic for computer science
SN  - 9781447141280 (pbk.)
U1  - 511.3 22
PY  - 2012///
CY  - London : 
PB  - Springer.
KW  - Logic, Symbolic and mathematical
KW  - fast
N1  - Includes bibliographical references and index
ER  -