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