Title: Logic in Computer Science
Subtitle: Modelling and Reasoning about Systems
Subjects: Logic programming, Computer logic, Computers &amp; the internet, Computer science, Qa76.9.l63 h88 1999, Logic programming (Computer science)