TY  - BOOK
AU  - Brown, Jeremy
TI  - Introduction to logic for computer science
SN  - 9781666869569 (cb.)
PY  - 2024///
CY  - USA
PB  - American Academic Publisher
KW  - Symbolic logic
KW  - Logic design
KW  - Computer science
N1  - Includes bibliography & index
ER  -