TY  - BOOK
AU  - Richards, Dana
AU  - Hamburger, Henry
TI  - Logic and Language models for Computer Science
SN  - 9789811260667
U1  - 005.131 
PY  - 2023///
CY  - Toh Tuck Link
PB  - World Scientific
ER  -