Books > Subjects > Science & Math > Mathematics > Pure Mathematics > Logic
R 2,590
Basic Category Theory (Cambridge Studies in Advanced Mathematics, Series Number 143)
R 6,744
Mathematical Proofs: A Transition to Advanced Mathematics
R 1,700
The Little Prover (Mit Press)
R 1,965
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
R 1,301
God Created the Integers: The Mathematical Breakthroughs that Changed History
R 2,016
Metamathematics: Foundations & Physicalization
R 2,457
Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra (Undergraduate Texts in Mathematics)
R 2,346
An Invitation to Applied Category Theory: Seven Sketches in Compositionality
R 922
The Gödelian Puzzle Book: Puzzles, Paradoxes and Proofs (Dover Math Games & Puzzles)
R 1,613
Logic For Dummies
70 - 80 of 100 results