Ergebnisse zu
Mathematik: Allgemeines / Lexika

Harmony and Paradox
Intensional Aspects of Proof-Theoretic Semantics
von Luca Tranchini
Buch | Softcover
2024 | Auflage: 1 | Springer International Publishing
ISBN: 9783031469237
42,79 € (inkl. MwSt)
in den Warenkorb
  • Versand in 7-10 Tagen
Semantic Intelligence
Select Proceedings of ISIC 2022
von Sarika Jain; Sven Groppe; Bharat K. Bhargava
Buch | Hardcover
2023 | Springer Verlag, Singapore
ISBN: 9789811971259
235,39 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
Mathematical Book Histories
Printing, Provenance, and Practices of Reading
von Philip Beeley; Ciarán Mac an Bhaird
Buch | Hardcover
2024 | Auflage: 1 | Springer International Publishing
ISBN: 9783031326097
181,89 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 Tagen
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
53,49 € (inkl. MwSt)
in den Warenkorb
  • Versand in 10-14 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 | Auflage: 1 | Springer International Publishing
ISBN: 9783030944544
181,89 € (inkl. MwSt)
in den Warenkorb
  • Versand in 15-20 Tagen