Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Mathematik: Allgemeines / Lexika

Exploring Formalisation
A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
von Clara Löh
Buch | Softcover
2022 | Springer International Publishing
ISBN: 9783031146480
CHF 74,85 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 15-20 Tagen
The Friction of Life
An investigation on Renato Caccioppoli's life
von Lorenza Foschini
Buch | Softcover
2024 | Springer International Publishing
ISBN: 9783031652615
CHF 56,90 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 10-20 Tagen
Logic in Question
Talks from the Annual Sorbonne Logic Workshop (2011- 2019)
von Jean-Yves Béziau; Jean-Pierre Desclés; Amirouche..
Buch | Softcover
2024 | Springer International Publishing
ISBN: 9783030944544
CHF 269,60 (inkl. MwSt)
in den Warenkorb in den Warenkorb
  • Versand in 15-20 Tagen