TY  - BOOK
AU  - Richards Dana & Hamburger Henry
TI  - Logic and Language Models for Computer Science Fourth Edition
SN  - 9789811260674
PB  - World Scientific
KW  - Computer Science
UR  - https://www.worldscientific.com/worldscibooks/10.1142/12974#t=toc
ER  -