Grundlagen der Mathematik

Bärwolff / Kato

Höhere Mathematik für Naturwissenschaftler und Ingenieure

Höhere Mathematik für Naturwissenschaftler und Ingenieure

Höhere Mathematik für Naturwissenschaftler und Ingenieure

Fachbuch4. Auflage 20242024Springer SpektrumISBN 978-3-662-68137-4

4. Auflage 2024

Batzoglou

Introduction to Incompleteness

Introduction to Incompleteness

Introduction to Incompleteness

From Gödel's Theorems to Forcing and the Continuum Hypothesis

From Gödel's Theorems to Forcing and the Continuum Hypothesis

Fachbuch2024Birkhäuser Verlag GmbHISBN 978-3-031-64216-6

Diaconescu

Institution-independent Model Theory

Institution-independent Model Theory

Institution-independent Model Theory

Fachbuch2., Second Edition 20242024Birkhäuser Verlag GmbHISBN 978-3-031-68853-9

2., Second Edition 2024

Abdyssagin

Quantum Mechanics and Avant-Garde Music

Quantum Mechanics and Avant-Garde Music

Quantum Mechanics and Avant-Garde Music

Shadows of the Void

Shadows of the Void

Fachbuch2024SpringerISBN 978-3-031-63160-3

Panza / Struppa / Szczeciniarz

The Mathematical and Philosophical Legacy of Alexander Grothendieck

The Mathematical and Philosophical Legacy of Alexander Grothendieck

The Mathematical and Philosophical Legacy of Alexander Grothendieck

Fachbuch2024Birkhäuser Verlag GmbHISBN 978-3-031-68933-8

Zerpa

The Logic, Philosophy, and History of the Lambda-Calculus

The Logic, Philosophy, and History of the Lambda-Calculus

The Logic, Philosophy, and History of the Lambda-Calculus

Theory and Applications

Theory and Applications

Fachbuch2024Palgrave Macmillan UKISBN 978-3-031-72850-1

Sekerinski / Ribeiro

Formal Methods Teaching

Formal Methods Teaching

Formal Methods Teaching

6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

Fachbuch2024SpringerISBN 978-3-031-71378-1

Viale

The Forcing Method in Set Theory

The Forcing Method in Set Theory

The Forcing Method in Set Theory

An Introduction via Boolean Valued Logic

An Introduction via Boolean Valued Logic

Fachbuch2024SpringerISBN 978-3-031-71659-1

König / Urbat

Coalgebraic Methods in Computer Science

Coalgebraic Methods in Computer Science

Coalgebraic Methods in Computer Science

17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings

17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings

Fachbuch2024SpringerISBN 978-3-031-66437-3

Petrolo / Venturi

Paradoxes Between Truth and Proof

Paradoxes Between Truth and Proof

Paradoxes Between Truth and Proof

Fachbuch2024SpringerISBN 978-3-031-74526-3

Cimiano / Frank / Kohlhase / Stein

Robust Argumentation Machines

Robust Argumentation Machines

Robust Argumentation Machines

First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings

First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings

Fachbuch2024SpringerISBN 978-3-031-63535-9

Bedürftig / Murawski / Kuhlemann

Philosophie der Mathematik

Philosophie der Mathematik

Philosophie der Mathematik

Fachbuch5., ergänzte und überarbeitete Auflage2024De GruyterISBN 978-3-11-105988-4

5., ergänzte und überarbeitete Auflage

Srivastava

An Introduction to Naïve Set Theory and its Applications

An Introduction to Naïve Set Theory and its Applications

An Introduction to Naïve Set Theory and its Applications

Fachbuch2024SpringerISBN 9789819746422

Li / Sui

R-Calculus, VI: Finite Injury Priority Method

R-Calculus, VI: Finite Injury Priority Method

R-Calculus, VI: Finite Injury Priority Method

Fachbuch2024SpringerISBN 9789819758296

Wolf / Kersting / Friedenberg

Mathematik-Vorkurs

Mathematik-Vorkurs

Mathematik-Vorkurs

Ein Lehrbuch für Online- und Präsenzlehre mit der Inverted-Classroom-Methode für Ingenieur- und Wirtschaftswissenschaften

Ein Lehrbuch für Online- und Präsenzlehre mit der Inverted-Classroom-Methode für Ingenieur- und Wirtschaftswissenschaften

Fachbuch2024Hanser FachbuchISBN 978-3-446-48152-7

Syropoulos

Fuzzy Mathematics

Fuzzy Mathematics

Fuzzy Mathematics

A Fundamental Introduction

A Fundamental Introduction

2024SpringerISBN 978-3-031-73833-3

Koch / Stämpfle

Mathematik für das Ingenieurstudium

Mathematik für das Ingenieurstudium

Mathematik für das Ingenieurstudium

Aufgaben und Lösungen

Aufgaben und Lösungen

Fachbuch2025Hanser FachbuchISBN 978-3-446-47863-3

Koch / Stämpfle

Mathematik für das Ingenieurstudium

Mathematik für das Ingenieurstudium

Mathematik für das Ingenieurstudium

Fachbuch5., aktualisierte Auflage2025Hanser FachbuchISBN 978-3-446-47684-4

5., aktualisierte Auflage

Schreiber

Brückenkurs Mathematik für Wirtschaftswissenschaftler für Dummies

Brückenkurs Mathematik für Wirtschaftswissenschaftler für Dummies

Brückenkurs Mathematik für Wirtschaftswissenschaftler für Dummies

Fachbuch2014Wiley-VCHISBN 978-3-527-70744-7

Tschinkel

Arithmetic and Algebraic Geometry

Arithmetic and Algebraic Geometry

Arithmetic and Algebraic Geometry

A Mathematical Tribute to Yuri Manin

A Mathematical Tribute to Yuri Manin

Fachbuch2025SpringerISBN 978-3-031-74133-3