PDF] Limitations in the understanding of mathematical logic by novice computer science students | Semantic Scholar
GitHub - motib/mathematical-logic: Prolog programs for Mathematical Logic for Computer Science (3rd Edition)
Handbook of Logic in Computer Science: Volume 1: Background: Mathematical Structures (Handbook of Logic in Computer Science, Vol 1): Abramsky S, S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum: 9780198537359: Amazon.com: Books
Computer Programming Archives - IMACS - Making Better Thinkers for Life
Mathematical Logic: Foundations for Information Science (Progress in Theoretical Computer Science): 25 (Progress in Computer Science and Applied Logic) - Wei Li: 9783764399764 - AbeBooks
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science) - Gallier, Jean H.: 9780486780825 - AbeBooks
Mathematical Logic for Computer Science by Mordechai Ben-Ari | Goodreads
The central role of mathematical logic in computer science | ACM SIGCSE Bulletin