BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS
Mathematische Logik
134 Treffer
Ankündigung
Hyndman / Nation
Fachbuch2027SpringerISBN 978-3-032-22178-0
Ankündigung
Mit strenger Axiomatik zu einem tragfähigen Gefüge
Fachbuch2026SpringerISBN 978-3-662-73640-1
Ankündigung
Fachbuch2026De GruyterISBN 978-3-11-140501-8
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
Fachbuch2027SpringerISBN 978-3-032-19459-6
Ankündigung
A Guided Introduction to the Fundamental Ideas
Fachbuch2027SpringerISBN 978-3-032-26872-3
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
neu
Rules of Logic for Formal Proofs in Zermelo Set Theory
Fachbuch2026SpringerISBN 978-3-032-22238-1
Ankündigung
Fachbuch2026SpringerISBN 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
Fachbuch2027Springer SpektrumISBN 978-3-662-73410-0
Ankündigung
Vandoulakis / Citkin / Denisova / Pires Ting
Festschrift for Jean-Yves Béziau's 60th Birthday , Vol. 1
Fachbuch2027Birkhäuser Verlag GmbHISBN 978-3-032-37326-7
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
Fachbuch2027SpringerISBN 978-3-032-36598-9
Ankündigung
Fachbuch2027SpringerISBN 978-3-032-41939-2
Ankündigung
García de la Sienra
With Applications to Economic Theory
Fachbuch2026SpringerISBN 978-3-032-05676-4
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
Brattka / Fernau / Galeotti
22nd Conference on Computability in Europe, CiE 2026, Trier, Germany, July 27-31, 2026, Proceedings
Fachbuch2026SpringerISBN 978-3-032-31347-8
Clementino / Gehrke / Picado
Lecture Notes of the Coimbra TACL Summer School, 14-18 June 2022
Fachbuch2026SpringerISBN 978-3-032-13759-3
Ankündigung
Sambucini / Hermanta / Ibragimov / Croitoru
Choquet Integral, Cesaro Summability, Fractal Fuzzy Differential Equations
Fachbuch2027De GruyterISBN 978-3-11-224882-9
Rezensionen
