Exploring Formalisation: A Primer in Human Readable Mathematics Lean 3 with Examples from Simplicial Topology (Surveys and Tutorials the Applied Mathematical Sciences, 11, Band 11)
Preis-Historie
* Die Preishistorie enthält keine Daten von Amazon, Amazon Marketplace.
Preise zuletzt aktualisiert am: