Richards Dana & Hamburger Henry Logic and Language Models for Computer Science Third Edition - World Scientific WSPC 2017 ISBN: 9789813229211 Source: EBOOK Subjects--Topical Terms: Computer Science