1 Table of Contents: “... Logic -- II Paraconsistency, Partiality and Logic Programming -- Negation and Contradiction -- What...”

2 Table of Contents: “... Logic -- Algorithms and Decision Problems: A Crash Course in Recursion Theory -- Mathematics of Logic...”

3 Table of Contents: “... to Paraconsistent Negation) -- A Survey of Paraconsistent Semantics for Logic Programs -- Table of Contents...”

4 Table of Contents: “... Constraint Logic Programming -- Alessandra Raffaetà -- The Logic of Reusable Propositional Output...”

5 “.... The methodology is based on goal-directed provability. It is a generalization of the logic programming style...”

6 “... of Logic in Computer Science, the Handbook of Logic in Artificial Intelligence and Logic Programming...”