Edition
ISBN:
3031146484 /
ISBN-13:
9783031146480
Book Details
Seller
Sort
U.K./EUR Sellers
Price: Low to High
Price: High to Low
Pub Date
Pub Date: Reverse
Sellers Near Me
Edition:
2022, Springer International Publishing AG
Paperback,
New
Details:
ISBN:
3031146484
ISBN-13:
9783031146480
Publisher:
Springer International Publishing AG
Published:
2022
Language:
English
Alibris ID:
18113872867
Shipping Options:
Standard Shipping: $4.79
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New, US edition. Satisfaction guaranteed! !
Hide Details ▴
Paperback,
New
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
$125.83
Edition:
2022, Springer
Paperback,
New
Available Copies: 2
Details:
ISBN:
3031146484
ISBN-13:
9783031146480
Publisher:
Springer
Published:
2022
Language:
English
Alibris ID:
18114454929
Shipping Options:
Standard Shipping: $4.79
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New.
Hide Details ▴