1 “... and computational logic, ranging across automated deduction, logic programming, the logic-based approach...”

2

3 Subjects: “...Computer logic...”

4 Table of Contents: “... calculus -- Semantics of programming languages -- Computational linguistics.-Language and computation...”

5 Table of Contents: “... computational logics -- Individuals, quantifiers and epistemic operators -- From qubits to qudits -- What...”

6 Table of Contents: “... -- Substructural Logics and Residuated Lattices — an Introduction -- Quantum Computational Logics: A Survey...”

7 Table of Contents: “... Logics -- Logic and Computers -- Logic and Linguistics -- Logical Foundations of Quantum Mechanics...”

8 Table of Contents: “.... Logic and Logic of Mind -- 4. Nerve Networks and Finite Automata -- 5. Computer Logic -- 6. Glimpses...”

9 “... to computational logic and potential applications to the integration of models of computation, knowledge...”