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
An Introduction to Programming with Specifications (Enhanced Edition) An Introduction to Programming with Specifications (Enhanced Edition)
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
Logic in Computer Science Logic in Computer Science
2004
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
Popular Lectures on Mathematical Logic Popular Lectures on Mathematical Logic
2014
PROOF AND COMPUTATION II PROOF AND COMPUTATION II
2021
Mathematics in Computing Mathematics in Computing
2020