Logic for Mathematics and Computer Science

Mathematical Logic: 37 Graduate Texts in Mathematics - J. Donald Monk Springer

Logic and Discrete Mathematics : A Computer Science Perspective by Jean-Paul...

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

Discrete Mathematics for Computer Science 1st Edition Paperback

Mathematical Logic for Computer Science by Mordechai Ben-Ari

Three Views of Logic: Mathematics, Philosophy, and Computer Science by

Logic and Discrete Mathematics: A Computer Science Perspective by Winfried Karl