Logical Foundations of Computer Science : Third International Sym

Logic For Computer Science- Foundations of Automatic Theorem Proving J Gallier

Lecture Notes in Computer Science Ser.: Foundations of Inductive Logic Programmi

Foundations of Modern Computer Science: Concepts & Applications: Understanding t

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second...

Logic for Computer Science: Foundations of Automatic Theorem Proving by Gallier

Foundations of inductive logic programming. Lecture notes in computer science ;

Logical Foundations of Computer Science - 9783319720555