7 books • 9 series
Automata Theory and its Applications (Progress in Computer Science and Applied Logic, #21)
Principles of Logic and Logic Programming (Studies in Computer Science and Artificial Intelligence, v. 13)
Logic for Applications (Texts & Monographs in Computer Science) (Monographs in Computer Science) (Texts in Computer Science)