Cambridge University Press
Basic Category Theory (Cambridge Studies in Advanced Mathematics, Series Number 143)
R 2,609
PEARSON EDUCATION
Mathematical Proofs: A Transition to Advanced Mathematics
R 6,711
MIT Press
The Little Prover (Mit Press)
R 1,730
Addison Wesley
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
R 1,991
Brand: Running Press
God Created the Integers: The Mathematical Breakthroughs that Changed History
R 1,334
Wolfram Media
Metamathematics: Foundations & Physicalization
R 2,041
Springer
Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra (Undergraduate Texts in Mathematics)
R 2,476
Cambridge University Press
An Invitation to Applied Category Theory: Seven Sketches in Compositionality
R 2,368
Dover Publications
The Gödelian Puzzle Book: Puzzles, Paradoxes and Proofs (Dover Math Games & Puzzles)
R 961
For Dummies
Logic For Dummies
R 1,643