Discrete Mathematics Using a Computer More Books Like This
Sets, Logic and Maths for Computing
2012
Essential Logic for Computer Science
2019
Mathematics of Discrete Structures for Computer Science
2012
Introducing Software Verification with Dafny Language
2022
Introduction to Discrete Mathematics via Logic and Proof
2019
Logic and Language Models for Computer Science
2017
Decision Procedures
2008
Mathematical Logic for Computer Science
2012
Guide to Discrete Mathematics
2016
Elementary Logic
2008
PROOF AND COMPUTATION II
2021
Mathematics in Computing
2020
Proof Theory and Algebra in Logic
2019
Functional and Logic Programming
2008
Logic and Discrete Mathematics
2015