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