Books · Search
Mathematics · Computer science
Discrete mathematics
2009
Proof theory · Symbolic and mathematical Logic
Understanding Mathematical Proof
2014
Discrete Mathematics for New Technology, Second Edition
2020
Discrete mathematics for new technology
1992
Logic, Symbolic and mathematical · Proof theory
100% mathematical proof
1996