Logic for Computer Science (International Comp... by Reeves Paperback / softback

Logic in Computer Science: Modelling and Reasoning about Systems by M. Huth

Prentice Hall International Series in Computer Science: Programming from...

Epistemic Logic for AI and Computer Science by J.-J. Ch. Meyer (English)HC

Logic And Language Models For Computer Science (Third Edition) by Dana Richards

Logic and Objects (Prentice-hall International Series in Computer Science), McCa

Logic for Applications (Texts in Computer Science) by Nerode, Anil, Shore, Rich

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