Mathematische Logik

Schindler-Tschirner / Schindler

Mathematische Geschichten III - Eulerscher Polyedersatz, Schubfachprinzip und Beweise

Mathematische Geschichten III - Eulerscher Polyedersatz, Schubfachprinzip und Beweise

Mathematische Geschichten III - Eulerscher Polyedersatz, Schubfachprinzip und Beweise

Für begabte Schülerinnen und Schüler in der Unterstufe

Für begabte Schülerinnen und Schüler in der Unterstufe

Fachbuch 2021 Buch Springer Spektrum ISBN 978-3-658-33668-4

Gerwig

Der Satz des Pythagoras in 365 Beweisen

Der Satz des Pythagoras in 365 Beweisen

Der Satz des Pythagoras in 365 Beweisen

Mathematische, kulturgeschichtliche und didaktische Überlegungen zum vielleicht berühmtesten Theorem der Mathematik

Mathematische, kulturgeschichtliche und didaktische Überlegungen zum vielleicht berühmtesten Theorem der Mathematik

Fachbuch 2021 Buch Springer Spektrum ISBN 978-3-662-62885-0

Luderer

Formeln und Begriffe der Analysis

Formeln und Begriffe der Analysis

Formeln und Begriffe der Analysis

Für Studierende der Ingenieurwissenschaften

Für Studierende der Ingenieurwissenschaften

Fachbuch 2021 Buch Springer Spektrum ISBN 978-3-658-33689-9

Groza

Modelling Puzzles in First Order Logic

Modelling Puzzles in First Order Logic

Modelling Puzzles in First Order Logic

Fachbuch 1st ed. 2021 2021 Buch Springer ISBN 978-3-030-62546-7

1st ed. 2021

Aguirre / Merali / Sloan

Undecidability, Uncomputability, and Unpredictability

Undecidability, Uncomputability, and Unpredictability

Undecidability, Uncomputability, and Unpredictability

Fachbuch 1st ed. 2021 2021 Buch Springer ISBN 978-3-030-70353-0

1st ed. 2021

Arieli / Zamansky

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics

Fachbuch 1st ed. 2021 2021 Buch Springer ISBN 978-3-030-71257-0

1st ed. 2021

Düntsch / Mares

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

Fachbuch 1st ed. 2022 2021 Buch Springer ISBN 978-3-030-71429-1

1st ed. 2022

Voosholz / Gabriel

Top-Down Causation and Emergence

Top-Down Causation and Emergence

Top-Down Causation and Emergence

Fachbuch 1st ed. 2021 2021 Buch Springer ISBN 978-3-030-71898-5

1st ed. 2021

Gosson

Quantum Harmonic Analysis

Quantum Harmonic Analysis

Quantum Harmonic Analysis

An Introduction

An Introduction

Fachbuch 2021 Buch De Gruyter ISBN 978-3-11-072261-1

Schindler-Tschirner / Schindler

Mathematische Geschichten IV - Euklidischer Algorithmus, Modulo-Rechnung und Beweise

Mathematische Geschichten IV - Euklidischer Algorithmus, Modulo-Rechnung und Beweise

Mathematische Geschichten IV - Euklidischer Algorithmus, Modulo-Rechnung und Beweise

Für begabte Schülerinnen und Schüler in der Unterstufe

Für begabte Schülerinnen und Schüler in der Unterstufe

Fachbuch 2021 Buch Springer Spektrum ISBN 978-3-658-33924-1

Zegarelli

Grundlagen der Mathematik für Dummies

Grundlagen der Mathematik für Dummies

Grundlagen der Mathematik für Dummies

Fachbuch 3. Auflage 2021 Buch Wiley-VCH ISBN 978-3-527-71919-8

3. Auflage

Galatos / Terui

Hiroakira Ono on Substructural Logics

Hiroakira Ono on Substructural Logics

Hiroakira Ono on Substructural Logics

Fachbuch 1st ed. 2021 2021 Buch Springer ISBN 978-3-030-76919-2

1st ed. 2021

Mao

Model Validation and Uncertainty Quantification, Volume 3

Model Validation and Uncertainty Quantification, Volume 3

Model Validation and Uncertainty Quantification, Volume 3

Proceedings of the 39th IMAC, A Conference and Exposition on Structural Dynamics 2021

Proceedings of the 39th IMAC, A Conference and Exposition on Structural Dynamics 2021

Fachbuch 1st ed. 2021 2021 Buch Springer ISBN 978-3-030-77347-2

1st ed. 2021

Ferreira / Kahle / Sommaruga

Axiomatic Thinking I

Axiomatic Thinking I

Axiomatic Thinking I

Fachbuch 1st ed. 2021 2021 Buch Springer ISBN 978-3-030-77656-5

1st ed. 2021

Ferreira / Kahle / Sommaruga

Axiomatic Thinking II

Axiomatic Thinking II

Axiomatic Thinking II

Fachbuch 1st ed. 2021 2021 Buch Springer ISBN 978-3-030-77798-2

1st ed. 2021

Csirmaz / Gyenis

Mathematical Logic

Mathematical Logic

Mathematical Logic

Exercises and Solutions

Exercises and Solutions

Fachbuch 1st ed. 2021 2021 Buch Springer ISBN 978-3-030-79009-7

1st ed. 2021

Schreiner

Thinking Programs

Thinking Programs

Thinking Programs

Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Fachbuch 1st ed. 2021 2021 Buch Springer ISBN 978-3-030-80506-7

1st ed. 2021

Heinzmann / Wolters

Paul Lorenzen -- Mathematician and Logician

Paul Lorenzen -- Mathematician and Logician

Paul Lorenzen -- Mathematician and Logician

Fachbuch 1st ed. 2021 2021 Buch Springer ISBN 978-3-030-65823-6

1st ed. 2021

Ebbinghaus

Einführung in die Mengenlehre

Einführung in die Mengenlehre

Einführung in die Mengenlehre

Fachbuch 5. Aufl. 2021 2021 Buch Springer Spektrum ISBN 978-3-662-63865-1

5. Aufl. 2021

Ognjanovic

Probabilistic Extensions of Various Logical Systems

Probabilistic Extensions of Various Logical Systems

Probabilistic Extensions of Various Logical Systems

Fachbuch 1st ed. 2020 2021 Buch Springer ISBN 978-3-030-52956-7

1st ed. 2020