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