Paperback,
Good
Exploring Formalisation: a Primer in Human-Readable Mathematics in Lean 3 With Examples From Simplicial Topology: 11 (Surveys and Tutorials in the Applied Mathematical Sciences, 11)
by Löh, Clara
2022, Springer
ISBN-13:
9783031146480
See Item Details ▾
|
Bonita
HIGH
Newport Coast,
CA,
USA
|
$80.02
|