(eBook PDF) Exploring Formalisation A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
(eBook PDF) Exploring Formalisation A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
ibuks
MSRP:
Was:
Now:
$19.99
(You save
)
(No reviews yet)
Write a Review
Write a Review
ibuks
(eBook PDF) Exploring Formalisation A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
- SKU:
- UPC:
- Condition:
- New
Sagaform
From Human to Post Human Security in Latin America: Examples and Reflections from Across the Region
MSRP:
Was:
Now:
$24.99
ibuks
(eBook PDF) TOPOLOGICAL LIBRARY: PART 3 Part 3: Spectral Sequences in Topology
MSRP:
Was:
Now:
$30.00
Sagaform
Lean Management, Kaizen, Kata and Keiretsu: Best-Practice Examples and Industry Insights from Japanese Concepts
MSRP:
Was:
Now:
$24.99
Pathways to Well-Being in Design: Examples from the Arts, Humanities and the Built Environment
MSRP:
Was:
Now:
$24.99
!