Mathematische Logik
Garcia De La Sienra
With Applications to Economic Theory
Fachbuch2026SpringerISBN 978-3-032-05676-4
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
Fachbuch2026SpringerISBN 978-3-662-71588-8
Fachbuch2026SpringerISBN 978-3-032-05448-7
Vom Verständnis zum praktischen Werkzeug
Fachbuch2026SpringerISBN 978-3-662-72189-6
Leitsch / Cerna / Lolic
Fachbuch2026SpringerISBN 978-3-032-05740-2
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
Theoretische Grundlagen und eine Fallstudie
Fachbuch2025Springer GablerISBN 978-3-658-50004-7
Selected Papers on the Philosophy of Logic and Mathematics
Fachbuch2025Birkhäuser Verlag GmbHISBN 978-3-032-08944-1
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
Analysen und Einsichten zur Reise der Menschheit
Fachbuch2026SpringerISBN 978-3-662-72483-5
A Journey Through the Key Areas of Mathematical Logic
Fachbuch2025SpringerISBN 978-3-662-70998-6
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
Die erstaunlichsten Alltagsirrtümer und wie man sie durchschaut
Monografie2011C.H.BECKISBN 978-3-406-62204-5
Bertrand / Dubslaff / Klüppelholz
Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday
Fachbuch2025SpringerISBN 978-3-031-97438-0
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Fachbuch2., Second Edition 20262025SpringerISBN 978-3-031-99704-4
Vordenker unserer digitalen Welt
Fachbuch2025SpringerISBN 978-3-658-49494-0
Classical and Constructive Semigroups and Applications
Fachbuch2025SpringerISBN 978-3-031-86476-6
6th Asian Workshop on Philosophical Logic
Fachbuch2026SpringerISBN 9789819685653
BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS

