Grundlagen der Mathematik
An Introduction
Fachbuch2026SpringerISBN 978-3-032-10039-9
Beziau / Stern
Seventh World Congress on the Square of Opposition
Fachbuch2026Birkhäuser Verlag GmbHISBN 978-3-032-13066-2
Clementino / Gehrke / Picado
Lecture Notes of the Coimbra TACL Summer School, 14–18 June 2022
Fachbuch2026SpringerISBN 978-3-032-13759-3
240 Key Topics Explained on a Single Page Each
Fachbuch2026SpringerISBN 978-3-662-73220-5
Riemann Hypothesis, Twin Primes Conjecture, Navier-Stokes Equations, Goldbach Conjecture, Polignac's Conjecture
Fachbuch2026De GruyterISBN 978-3-11-223617-8
Rules of Logic for Formal Proofs in Zermelo Set Theory
Fachbuch2026SpringerISBN 978-3-032-22238-1
Wang / Madeira / Li
6th International Workshop, DaLí 2025, Xi'an, China, October 20–21, 2025, Revised Selected Papers
Fachbuch2026SpringerISBN 978-3-032-22625-9
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
7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings
Fachbuch2026SpringerISBN 978-3-032-26742-9
Eine ausführlich motivierte Einführung von der Aussagenlogik bis zur konstruktiven Typentheorie
Fachbuch2026SpringerISBN 978-3-662-73410-0
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
Exploring New Frontiers
Fachbuch2026SpringerISBN 978-3-032-25673-7
Fachbuch2026SpringerISBN 978-3-032-05448-7
From Logic Operators to Cellular Automata
Fachbuch2026De GruyterISBN 978-3-11-223004-6
Fachbuch2026SpringerISBN 978-3-032-09010-2
Panza / Struppa / Szczeciniarz
The Mathematical and Philosophical Legacy of Alexander Grothendieck
The Mathematical and Philosophical Legacy of Alexander Grothendieck
Fachbuch2026SpringerISBN 978-3-031-68936-9
Ein kompakter Vorkurs
Fachbuch2026SpringerISBN 978-3-662-71588-8
Theory and Applications
Fachbuch2026SpringerISBN 978-3-031-72853-2
A Mathematical Tribute to Yuri Manin
Fachbuch2026SpringerISBN 978-3-031-74136-4
Leitsch / Cerna / Lolic
Fachbuch2026Birkhäuser Verlag GmbHISBN 978-3-032-05740-2
BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS

