Logic in Computer Science
Modelling and Reasoning about Systems
by Mark Ryan
Logic programmingComputer logicComputers & the internetComputer scienceQa76.9.l63 h88 1999Logic programming (Computer science)
Writing a summary for young readers…
For young readers
Book data: Open Library