Oxford University Press Essentials Of Logic Programming (Oxford Science Publications): 1 (Graduate Texts in Computer Science)

Logic Programming: A Classified Bibliography

Springer

A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (Oxford Texts in Logic)

Oxford University Press

Logic for Applications (Texts in Computer Science)

Springer

Part 1: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems: A Course with Exercises Part I: Propositional Calculus, ... Completeness Theorems (Mathematical Logic)

Oxford University Press

Proof and Disproof in Formal Logic: An Introduction For Programmers (Oxford Texts In Logic): 2

Oxford University Press

Introduction to Logic and Logical Discourse

Introduction to Logic and Logical Discourse

Springer

Algebraic Methods in Philosophical Logic: 41 (Oxford Logic Guides)

Oxford University Press

Logic and Language Models for Computer Science: Third Edition

Scientific Publishing

Modal Logic: An Introduction to its Syntax and Semantics

Oxford University Press

Logical Foundations of Artificial Intelligence

Morgan Kaufmann

Logic for Computer Scientists (Modern Birkhäuser Classics)

Birkhauser

Logic: The Essentials (Mindtap Course List)

Cengage Learning

Prolog Versus You: An Introduction to Logic Programming

Springer

Declarative Logic Programming: Theory, Systems, and Applications (ACM Books)

Morgan & Claypool

Proof and Disproof in Formal Logic: An Introduction for Programmers: 2 (Oxford Texts in Logic)

Oxford University Press

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Springer

Logic and Language (Cornerstones of Computing S)

Red Globe Press

COMPUTER PROGRAMMING - AN ALGORITHMIC APPROACH: Algorithmic Programming

LAP Lambert Academic Publishing

Recursion Theory, Godel's Theorems, Set Theory, Model Theory (Mathematical Logic: A Course With Exercises, Part II)

Oxford University Press

Logics for Emerging Applications of Databases

Springer

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Springer

Parallelism & Implementation of Logic & Constraint Logic Programming

Springer Parallel and Constraint Logic Programming Book 876

Springer