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)

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)

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)

Cheapest Total Price
Usually dispatched within 10 to 11 days
Direct debit Direct debit Visa Visa Mastercard Mastercard
£37.16
Free Delivery

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)

In stock
Direct debit Direct debit Visa Visa Mastercard Mastercard
£44.82
Delivery from £2.99

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)

In stock
Direct debit Direct debit Visa Visa Mastercard Mastercard
£59.92
Delivery from £2.80

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)

Usually dispatched within 9 to 10 days
Direct debit Direct debit Visa Visa Mastercard Mastercard
£72.93
Free Delivery

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) - Details

▶ Finding you the best price!

We have found 4 prices for 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). Our price list is completely transparent with the cheapest listed first. Additional delivery costs may apply.

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) - Price Information

  • Cheapest price: £37.16
  • The cheapest price is offered by Amazon-marketplace.co.uk . You can order the product there.
  • The price range for the product 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) is €£37.16to €£72.93 with a total of 4 offers.
  • Payment methods: The online shop Amazon-marketplace.co.uk supports: Direct debit, Visa, Mastercard
  • Delivery: The shortest delivery time is Usually dispatched within 10 to 11 days working days offered by Amazon-marketplace.co.uk .
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)

Cheapest offer

Pages: 153, Edition: 1st ed. 2022, Paperback, Springer
£37.16
Usually dispatched within 10 to 11 days
Amazon-marketplace.co.uk
Don't forget your voucher code: