Boolean Reasoning More Books Like This
Proof and Computation
2018
PROOF AND COMPUTATION II
2021
A First Course in Mathematical Logic and Set Theory
2015
Proof Theory
2013
A Transition to Proof
2019
Complexity, Logic, and Recursion Theory
2019
On Functions and Functional Equations
2020
Logic and Algebra
2017
The Theory of Functions of Real Variables
2012
Relations: Concrete, Abstract, and Applied
2020
Automated Inequality Proving And Discovering
2016
The Elements of Advanced Mathematics
2022
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
2022
Integral and Measure
2014
An Introduction to Mathematical Proofs
2019