TY  - BOOK
AU  - Richards, Dana and Hamburger, Henry
TI  - Logic and Language Models for Computer Science
AV  - 006.4 R0;1 
U1  - 006.4 R0;1 3rd 
PY  - 2022///
CY  - New Jersey
PB  -  World Scientific 
KW  - Computer Science
ER  -