The Code of Mathematics: From Truth, Proof, and Computability to Homotopy Type Theory. (Mathematics Study Resources, 34)

Prices from
39.99

Featured

COMPARE ALL WEBSHOPS (2)

Description

Amazon Edition: Second Edition 2026, Paperback, Springer
Description Description
Product Specifications Product specifications
Related results Related results
Next
Previous

Compare webshops (2)

Shop
Price
Amazon Logo
£ 39.99
To Shop
Amazon Marketplace Logo
£ 39.99
To Shop
Description (1)

Edition: Second Edition 2026, Paperback, Springer

Product specifications

Brand Springer
EAN
  • 9783662742280

Cambridge University Press

Introduction to Homotopy Type Theory (Cambridge Studies in Advanced Mathematics)

£ 43.45
Compare 2 stores 2 stores

Springer

Mathematics of Information: Theory and Applications Shannon Wiener 9 (Mathematics Study Resources, 9)

£ 24.97
Compare 2 stores 2 stores

Springer

Introduction to the Philosophy of Mathematics (Mathematics Study Resources, 22)

£ 28.72
Compare 2 stores 2 stores

Homotopy Theory of C*-Algebras (Frontiers in Mathematics)

£ 42.72
More Information More Info
Featured Choice
£ 39.99
To Shop