Mathematical Logic for Computer Science (2nd Edition) a book by Zhongwan Lu
PDF) Mathematical logic for computer science (2. ed.).
Concepts of Proof in Mathematics, Philosophy, and Computer Science
9780444854407: Mathematical logic in computer science (Colloquia mathematica societatis János Bolyai): 0444854401 - AbeBooks
Logic. Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. Topically, mathematical logic bears. - ppt download
Mathematical Logic for Computer Science: Ben-Ari, Mordechai: 0001447141288: Amazon.com: Books
Mathematical Logic for Computer Science (Prentice-hall International Series in Computer Science): Ben-Ari, Mordechai, Ben-Ari, M.: 9780135641392: Amazon.com: Books
Where would you draw the line between mathematics and logic? Why? - Quora