☰
Home Page
Books
Books > Subjects > Science & Math > Mathematics > Pure Mathematics > Logic

Basic Category Theory (Cambridge Studies in Advanced Mathematics, Series Number 143)
R 2,499
Basic Category Theory (Cambridge Studies in Advanced Mathematics, Series Number 143)

Mathematical Proofs: A Transition to Advanced Mathematics
R 6,502
Mathematical Proofs: A Transition to Advanced Mathematics

The Little Prover (Mit Press)
R 1,642
The Little Prover (Mit Press)

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
R 1,897
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

God Created the Integers: The Mathematical Breakthroughs that Changed History
R 1,257
God Created the Integers: The Mathematical Breakthroughs that Changed History

Metamathematics: Foundations & Physicalization
R 1,946
Metamathematics: Foundations & Physicalization

Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra (Undergraduate Texts in Mathematics)
R 2,371
Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra (Undergraduate Texts in Mathematics)

An Invitation to Applied Category Theory: Seven Sketches in Compositionality
R 2,264
An Invitation to Applied Category Theory: Seven Sketches in Compositionality

The Gödelian Puzzle Book: Puzzles, Paradoxes and Proofs (Dover Math Games & Puzzles)
R 892
The Gödelian Puzzle Book: Puzzles, Paradoxes and Proofs (Dover Math Games & Puzzles)

Logic For Dummies
R 1,558
Logic For Dummies

70 - 80 of 100 Results