Grundlagen der Mathematik
Meer / Rabinovich / Ravve / Villaveces
Festschrift in Honor of Johann A. Makowsky
Fachbuch2025Birkhäuser Verlag GmbHISBN 978-3-031-86318-9
Classical and Constructive Semigroups and Applications
Fachbuch2025SpringerISBN 978-3-031-86476-6
Fachbuch2025SpringerISBN 978-3-032-01669-0
Fachbuch2025SpringerISBN 978-3-032-05448-7
Implicit Functions, Stieltjes Integrals and Curvilinear Integrals
Fachbuch2025De GruyterISBN 978-3-11-914462-9
Arfini
Fachbuch2025SpringerISBN 978-3-031-96687-3
Arfini
Abductive Minds: Essays in Honor of Lorenzo Magnani - Volume 1
Abductive Minds: Essays in Honor of Lorenzo Magnani - Volume 1
Fachbuch2025SpringerISBN 978-3-031-96683-5
Leitsch / Cerna / Lolic
Fachbuch2025SpringerISBN 978-3-032-05740-2
From the Logic of Questions to Proof Theory
Fachbuch2025SpringerISBN 978-3-031-82450-0
Fachbuch2025Birkhäuser Verlag GmbHISBN 978-3-032-05469-2
Aufgaben und Lösungen
Fachbuch2025Hanser FachbuchISBN 978-3-446-47863-3
11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings
Fachbuch2025SpringerISBN 978-3-031-89609-5
Fachbuch5., aktualisierte Auflage2025Hanser FachbuchISBN 978-3-446-47684-4
Schindler / Schindler-Tschirner
Mathematische Geschichten für begabte Grundschülerinnen und Grundschüler
Mathematische Geschichten für begabte Grundschülerinnen und Grundschüler
Graphen, Spiele, Teiler und Beweise
Fachbuch2. Auflage 20252025Springer GablerISBN 978-3-658-47379-2
Abdulla / Kesner
28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
Fachbuch2025SpringerISBN 978-3-031-90896-5
Yan / Liu / Westerståhl / Yang
4th Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2024, Beijing, China, March 29-31, 2024, Revised Selected Papers
Fachbuch2025SpringerISBN 978-3-031-86053-9
Baratgin / Jacquet / Brochier / Yama
Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness
Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness
Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, Proceedings
Fachbuch2025SpringerISBN 978-3-031-84594-9
Fachbuch2025Birkhäuser Verlag GmbHISBN 978-3-031-82104-2
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
Ein kompakter Vorkurs
Fachbuch2026Springer SpektrumISBN 978-3-662-71588-8