BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS
Mathematische Logik
139 Treffer
Ankündigung
Fachbuch2026De GruyterISBN 978-3-11-140501-8
neu
Rules of Logic for Formal Proofs in Zermelo Set Theory
Fachbuch2026SpringerISBN 978-3-032-22238-1
neu
Brattka / Fernau / Galeotti
22nd Conference on Computability in Europe, CiE 2026, Trier, Germany, July 27–31, 2026, Proceedings
Fachbuch2026SpringerISBN 978-3-032-31347-8
Toptitel
Die erstaunlichsten Alltagsirrtümer und wie man sie durchschaut
Monografie2011C.H.BECKISBN 978-3-406-62204-5
Ankündigung
Exploring the Nature of Mathematical Proof and the Cultural Legacy of the World's Most Famous Theorem
Fachbuch2027SpringerISBN 978-3-662-73246-5
Fachbuch2026Springer GablerISBN 978-3-658-52317-6
Ankündigung
An Introduction
Fachbuch2027SpringerISBN 978-3-032-10039-9
Ankündigung
Eine ausführlich motivierte Einführung von der Aussagenlogik bis zur konstruktiven Typentheorie
Fachbuch2027SpringerISBN 978-3-662-73410-0
Ankündigung
How Scalar Interpretation Varies and Unfolds in Real Time
Fachbuch2027Palgrave Macmillan UKISBN 978-3-032-35775-5
Ankündigung
Baratgin / Jacquet / Brochier / Yama
Reasoning in Context. Human Minds, Artificial Systems, and Their Interactions
Reasoning in Context. Human Minds, Artificial Systems, and Their Interactions
4th International Conference on Human and Artificial Rationalities, HAR 2025, Paris, France, September 16–19, 2025, Proceedings
Fachbuch2027SpringerISBN 978-3-032-34977-4
Ankündigung
18th IFIP WG 1.3 International Workshop, CMCS 2026, Turin, Italy, April 11–12, 2026, Proceedings
Fachbuch2027SpringerISBN 978-3-032-40443-5
Ankündigung
Fachbuch2027SpringerISBN 978-3-032-36598-9
Ankündigung
Fachbuch2027SpringerISBN 978-3-032-41939-2
Ankündigung
Blanchette / Mahboubi
Proof Assistants and Their Applications in Mathematics and Computer Science
Proof Assistants and Their Applications in Mathematics and Computer Science
Fachbuch2027SpringerISBN 978-3-031-85189-6
Ankündigung
Schindler-Tschirner / Schindler
Mathematische Geschichten für begabte Schülerinnen und Schüler in der Mittelstufe
Mathematische Geschichten für begabte Schülerinnen und Schüler in der Mittelstufe
Binomische Formeln, Kombinatorik, Geometrie und Beweise
Fachbuch2. Auflage 20262027SpringerISBN 978-3-662-74612-7
From the Logic of Questions to Proof Theory
Fachbuch2026SpringerISBN 978-3-031-82453-1
Ankündigung
Sambucini / Hermanta / Ibragimov / Croitoru
Choquet Integral, Cesaro Summability, Fractal Fuzzy Differential Equations
Fachbuch2027De GruyterISBN 978-3-11-224882-9
Truth Lattices and Logic Gates
Fachbuch2026De GruyterISBN 978-3-11-223580-5
Exploring New Frontiers
Fachbuch2026SpringerISBN 978-3-032-25673-7
Fachbuch2026Birkhäuser Verlag GmbHISBN 978-3-032-05469-2
Rezensionen
