Publisher's Synopsis
Exploring Formalisation
A Concise Course in Algebraic T...
Paperback
Published 06 Sep 1999
Save $2.22
- RRP $38.00
- $35.78
Exploring Formalisation A Primer in Human-Readable Mathematics in Lean 3 With Examples from Simplicial Topology
Paperback (25 Sep 2022)
Not available for sale
Out of stock
Check stock
Other formats & editions
Book information
| ISBN: | 9783031146503 |
| Publisher: | Springer Nature B.V. |
| Imprint: | Springer Nature B.V. |
| Pub date: | 25 Sep 2022 |
| Language: | English |
| Number of pages: | 156 |
| Weight: | 230g |
| Height: | 234mm |
| Width: | 156mm |
We recommend
$2.22off
A Concise Course in Algebraic T...
$4.51off
Principles of Topology
Paperback
Published 25 Mar 2016
Save $4.51
- RRP $29.84
- $25.33
$2.57off
Topology
Paperback
Published 12 Dec 2019
Save $2.57
- RRP $13.56
- $10.99
$1.33off
Introduction to Knot Theory
Paperback
Published 26 Dec 2008
Save $1.33
- RRP $18.31
- $16.98
$7.27off
The Theory of Spinors
Paperback
Published 28 Mar 2003
Save $7.27
- RRP $16.95
- $9.68
$68.81off
Etale Homotopy of Simplicial Sc...
Paperback
Published 01 Jul 1992
Save $68.81
- RRP $105.86
- $37.05
$14.99off
Methods of Graph Decompositions
Hardback
Published 06 Aug 2024
Save $14.99
- RRP $128.93
- $113.94
$23.45off
Smooth Manifolds and Observables
Paperback
Published 10 Sep 2021
Save $23.45
- RRP $61.06
- $37.61
$38.29off
Advanced Topics in Topology
Paperback
Published 30 Aug 2024
Save $38.29
- RRP $169.64
- $131.35
A Course on Surgery Theory
Hardback
Published 26 Jan 2021
- $247.54