Modal Logic Cambridge Tracts in Theoretical Computer Science 53

Contemporary Mathematics / Categories In Computer Science And Logic Vol.92

Computation As Logic (Prentice Hall International Series in Computer Science), L

Agency and Deontic Logic

Logic and Discrete Mathematics A Computer Science Perspective

Logic in Computer Science: Modelling and Reasoning about Systems

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mat

Lecture Notes In Computer Science Anne Mulkers Live Data Structures In Logic Pro