Logic and Discrete Mathematics A Computer Science Perspective

Logic for Mathematics and Computer Science

Philosophy of Science, Logic and Mathematics in the 20th Century (Routledge ...

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

Mathematical Logic for Computer Science 3rd Ed. (Ben-Ari)

Logic, Mathematics, and Computer Science - 9781493937134

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

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