Exploring FormalisationPublisher: Springer Nature Year: 24/09/2022 ISBN: 9783031146497 Publication form: eBook: Fixed Page eTextbook (PDF)
|
329.03 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Ergodic Theoretic Methods in Group HomologyPublisher: Springer Nature Year: 14/03/2020 ISBN: 9783030442200 Publication form: eBook: Fixed Page eTextbook (PDF)
|
137.06 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Geometric Group TheoryPublisher: Springer Nature Year: 19/12/2017 ISBN: 9783319722542 Publication form: eBook: Fixed Page eTextbook (PDF)
|
219.34 PLN
Product available online
Delivery on-line
Add to bookshelf
|
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial TopologyPublisher: Springer, Berlin ISBN: 9783031146480 Publication form: paperback
|
Ask about the product
|
Geometric Group Theory: An IntroductionPublisher: Springer, Berlin ISBN: 9783319722535 Publication form: paperback
|
Ask about the product
|