Progress in Computer Science and Applied Logic Ser.: Introduction to Quantum Com

Logic For Applications - Texts and Monographs in Computer Science - 1st edition

Essential Logic for Computer Science (Mit Press)

Temporal Logics in Computer Science: Finite-State Systems (Cambridge Tracts in,

Lecture Notes in Computer Science Ser.: Theorem Proving in Higher Order Logics :

Temporal Logics in Computer Science: Finite-State Systems: 58 (C

Logic in Computer Science: Modelling and Reasoning about Systems, Huth, Michael,

Mogavero - Logics in Computer Science A Study on Extensions of Tempo - X555z