Logical Foundations of Computer Science - Tver '92: Second International Sym...

Logical Foundations of Computer Science: 4th International Symposium, LFCS'9...

Gödel ’96: Logical Foundations of Mathematics, Computer Science and Physi...

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

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

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