TY  - BOOK
AU  - Ben-Ari, Mordechai
TI  - Mathematical logic for computer science
SN  - 8181283449 (pbk)
U1  - 511.3 
PY  - 2003///, 2019
CY  - London
PB  - Springer-Verlag
KW  - Algebra
KW  - Electronic data processing
KW  - Computer science
KW  - Predicate calculus
KW  - Logic programming
KW  - Temporal logic
KW  - FC
KW  - FBSH
N1  - Includes bibliographical references and index
ER  -