BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS
Mathematische Logik
139 Treffer
Ankündigung
An Introduction
Fachbuch2026SpringerISBN 978-3-032-10039-9
Ankündigung
Fachbuch2026Birkhäuser Verlag GmbHISBN 978-3-032-05469-2
neu
Boole, Lukasiewicz, de Finetti, Kolmogorov
Fachbuch2026SpringerISBN 978-3-031-98336-8
Ankündigung
Clementino / Gehrke / Picado
Lecture Notes of the Coimbra TACL Summer School, 14-18 June 2022
Fachbuch2026SpringerISBN 978-3-032-13759-3
Ankündigung
Eine logische Propädeutik der Philosophie
Fachbuch2026Springer VSISBN 978-3-658-50850-0
neu
für einen gelungenen Einstieg ins Mathestudium
Fachbuch2., überarb. u. erw. Auflage 20262026Springer SpektrumISBN 978-3-662-72984-7
Ankündigung
Schindler-Tschirner / Schindler
Mathematische Geschichten für begabte Schülerinnen und Schüler in der Unterstufe
Mathematische Geschichten für begabte Schülerinnen und Schüler in der Unterstufe
Euklidischer Algorithmus, Schubfachprinzip, Modulo-Rechnung und Beweise
Fachbuch2. Auflage 20262026Springer SpektrumISBN 978-3-658-50395-6
Ankündigung
Bertrand / Milius
29th International Conference, FoSSaCS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings
Fachbuch2026SpringerISBN 978-3-032-22729-4
Ankündigung
Citkin / Muravitsky
The Legacy of A.V. Kuznetsov in Logic, Algebra and the Foundations of Mathematics
The Legacy of A.V. Kuznetsov in Logic, Algebra and the Foundations of Mathematics
Fachbuch2026SpringerISBN 978-3-032-19459-6
Ankündigung
Rules of Logic for Formal Proofs in Zermelo Set Theory
Fachbuch2026SpringerISBN 978-3-032-22238-1
Ankündigung
Eine ausführlich motivierte Einführung von der Aussagenlogik bis zur konstruktiven Typentheorie
Fachbuch2026Springer SpektrumISBN 978-3-662-73410-0
Ankündigung
Hyndman / Nation
Fachbuch2026SpringerISBN 978-3-032-22178-0
Ankündigung
Wang / Madeira / Li
6th International Workshop, DaLí 2025, Xi'an, China, October 20-21, 2025, Revised Selected Papers
Fachbuch2026SpringerISBN 978-3-032-22625-9
Ankündigung
Vom Verständnis zum praktischen Werkzeug
Fachbuch2026Springer SpektrumISBN 978-3-662-72189-6
Ankündigung
Blanchette / Mahboubi
Proof Assistants and Their Applications in Mathematics and Computer Science
Proof Assistants and Their Applications in Mathematics and Computer Science
Fachbuch2026SpringerISBN 978-3-031-85189-6
Ankündigung
García de la Sienra
With Applications to Economic Theory
Fachbuch2026SpringerISBN 978-3-032-05676-4
Ankündigung
Fachbuch2026SpringerISBN 978-3-032-05448-7
Ankündigung
Fachbuch2026SpringerISBN 978-3-032-08729-4
Ankündigung
Leitsch / Cerna / Lolic
Fachbuch2026SpringerISBN 978-3-032-05740-2
Ankündigung
240 Key Topics Explained on a Single Page Each
Fachbuch2026SpringerISBN 978-3-662-73220-5
Rezensionen
