Computer Science Logic
Logic and Computer Science
Deontic Logic in Computer Science
Mathematical Logic for Computer Science