Sets, Logic and Maths for Computing More Books Like This
Introduction to Discrete Mathematics via Logic and Proof
2019
Mathematics of Discrete Structures for Computer Science
2012
Discrete Mathematics Using a Computer
2007
Logic and Discrete Mathematics
2015
Popular Lectures on Mathematical Logic
2014
Logic in Computer Science
2004
Logic and Language Models for Computer Science
2017
Exploring Mathematics
2017
Fields of Logic and Computation II
2015
Logic in Elementary Mathematics
2011
Logic, Language, and Computation
2011
Mathematical Logic
2013
Logical Methods
2023
An Introduction to Programming with Specifications (Enhanced Edition)
2012
PROOF AND COMPUTATION II
2021