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

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

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

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

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

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

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

Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra (Undergraduate Texts in Mathematics)
R 2,382
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,275
An Invitation to Applied Category Theory: Seven Sketches in Compositionality

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

Logic For Dummies
R 1,565
Logic For Dummies

70 - 80 of 100 Results