Add this copy of Exploring Formalisation: a Primer in Human-Readable to cart. $60.22, new condition, Sold by discount_scientific_books rated 4.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2022 by Springer International Publishing AG.
Add this copy of Exploring Formalisation: a Primer in Human-Readable to cart. $60.92, new condition, Sold by discount_scientific_books rated 4.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2022 by Springer International Publishing AG.
Exploring Formalisation: a Primer in Human-Readable Mathematics in Lean 3 With Examples From Simplicial Topology (Surveys and Tutorials in the Applied Mathematical Sciences, 11)
Add this copy of Exploring Formalisation: a Primer in Human-Readable to cart. $93.95, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2022 by Springer.
Exploring Formalisation: a Primer in Human-Readable Mathematics in Lean 3 With Examples From Simplicial Topology (Surveys and Tutorials in the Applied Mathematical Sciences, 11)
Add this copy of Exploring Formalisation: a Primer in Human-Readable to cart. $132.56, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2022 by Springer.
