Sets, Logic and Maths for Computing More Books Like This
A Transition to Proof
2019
A Bridge to Advanced Mathematics
2013
Proofs and Fundamentals
2011
Set Theory and Logic
2012
Introduction to Logic
2012
A First Course in Logic
2018
A Mathematical Introduction to Logic
2001
Reading, Writing, and Proving
2011
Introduction to Real Analysis
2012
Introduction to Proof in Abstract Mathematics
2014
An Invitation to Abstract Mathematics
2013
A First Course in Mathematical Logic and Set Theory
2015
Mathematical Thinking and Writing
2001
Computability and Logic
2007
Theory of Computation
2014