Discrete Mathematics Using a Computer More Books Like This

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