Logic, Mathematics, and Computer Science - 9781493937134

Mathematics, Computer Science and Logic - A Never Ending Story - 9783319009650

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

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

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

Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science.

Logic, Mathematics, and Computer Science - 9781493932221

Mathematics, Computer Science and Logic - A Never Ending Story - 9783319346823