Exploring Formalisation A Primer In Human Readable Mathematics In Lean 3 With Examples From Simplicial Topology(1st Edition)
Authors:
Clara Loh
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 3031146484, 978-3031146480
Book publisher: Springer
Frequently Bought Together
Contemporary Leadership Skills For Managers Strategies To Lead Your Team Through Rapid Changes Digital Transformation Remote Work Crisis Management And More - 1st Edition
Reese L Stone
ISBN: B0CXD6W887, 979-8880437344
$0 $12.57
Fundamentals Of Organic Chemistry - 2nd Edition
T W G Solomons
ISBN: 0471517828, 978-0471517825
$0 $18.98
Intermediate Accounting Reporting and Analysis - 2nd edition
James M. Wahlen
ISBN: 9781305727557, 1285453824, 9781337116619, 130572755X, 978-1285453828
$0 $27.47
South-Western Federal Taxation 2020 Essentials Of Taxation Individuals And Business Entities - 23rd Edition
Annette Nellen
ISBN: 357109171, 978-0357109175
$0 $53.98
My Windows 10 Computer For Seniors - Pap/cdr Edition
Michael Miller
ISBN: 0789754606, 978-0789754608
$0 $11.74
Morphological Models Of Random Structures - 1st Edition
Dominique Jeulin
ISBN: 3030754545, 978-3030754549
$0 $171.70
Singularities And Their Interaction With Geometry And Low Dimensional Topology In Honor Of Andras Nemethi - 1st Edition
Javier Fernandez De Bobadilla
ISBN: 3030619605, 978-3030619602
$0 $161.15