Grundlagen der Mathematik
Lehrbuch für Höhere Technische Lehranstalten - Band 1
Lehrbuch/Studienliteratur2025Hanser FachbuchISBN 978-3-446-48085-8
A Journey Through the Key Areas of Mathematical Logic
Fachbuch2025SpringerISBN 978-3-662-70998-6
Ein kompakter Vorkurs
Fachbuch2025SpringerISBN 978-3-662-71588-8
Implicit Functions, Stieltjes Integrals and Curvilinear Integrals
Fachbuch2025De GruyterISBN 978-3-11-914462-9
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
Classical and Constructive Semigroups and Applications
Fachbuch2025SpringerISBN 978-3-031-86476-6
Fachbuch2025SpringerISBN 978-3-032-05469-2
Fachbuch2025SpringerISBN 978-3-032-05448-7
Leitsch / Cerna / Lolic
Fachbuch2025SpringerISBN 978-3-032-05740-2
Bertrand / Dubslaff / Klüppelholz
Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday
Fachbuch2025SpringerISBN 978-3-031-97438-0
Selected Papers on the Philosophy of Logic and Mathematics
Fachbuch2025SpringerISBN 978-3-032-08944-1
Fachbuch2025SpringerISBN 978-3-032-09010-2
From Formal Logic to Measure Theory to the Principle of Indifference
Fachbuch2025SpringerISBN 978-3-032-09449-0
Cantor, Gödel und die Suche nach der mathematischen Wahrheit
Fachbuch2025SpringerISBN 978-3-662-71547-5
Meer / Rabinovich / Ravve / Villaveces
Festschrift in Honor of Johann A. Makowsky
Fachbuch2025Birkhäuser Verlag GmbHISBN 978-3-031-86318-9
Beckmann / Oitavem / Manea
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations
21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings
Fachbuch2025SpringerISBN 978-3-031-95907-3
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
Aufgaben und Lösungen
Fachbuch2025Hanser FachbuchISBN 978-3-446-47863-3
Fachbuch5., aktualisierte Auflage2025Hanser FachbuchISBN 978-3-446-47684-4
11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings
Fachbuch2025SpringerISBN 978-3-031-89609-5