Mathematische Logik

Zegarelli

Grundlagen der Mathematik für Dummies

Grundlagen der Mathematik für Dummies

Grundlagen der Mathematik für Dummies

Sachbuch4. Auflage2024BuchWiley-VCHISBN 978-3-527-72197-9

4. Auflage

Ewald / Hallett / Majer / Sieg

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1894-1917

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1894-1917

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1894-1917

Fachbuch2024BuchSpringerISBN 978-3-540-20605-7

Barron / Del Greco

Probability and Statistics for STEM

Probability and Statistics for STEM

Probability and Statistics for STEM

A Course in One Semester

A Course in One Semester

Fachbuch2nd ed. 20242024BuchSpringerISBN 978-3-031-38984-9

2nd ed. 2024

Sriraman

Handbook of the History and Philosophy of Mathematical Practice

Handbook of the History and Philosophy of Mathematical Practice

Handbook of the History and Philosophy of Mathematical Practice

Fachbuch2024BuchSpringerISBN 978-3-031-40845-8

Brewer

Kurt Gödel

Kurt Gödel

Kurt Gödel

Metamathematisches Genie

Metamathematisches Genie

Fachbuch2024BuchSpringerISBN 978-3-031-43150-0

Madigan / Béziau

Universal Logic, Ethics, and Truth

Universal Logic, Ethics, and Truth

Universal Logic, Ethics, and Truth

Essays in Honor of John Corcoran (1937-2021)

Essays in Honor of John Corcoran (1937-2021)

Fachbuch2024BuchBirkhäuser Verlag GmbHISBN 978-3-031-44460-9

Reilly / Petrich

Completely Regular Semigroup Varieties

Completely Regular Semigroup Varieties

Completely Regular Semigroup Varieties

A Comprehensive Study with Modern Insights

A Comprehensive Study with Modern Insights

Fachbuch2024BuchSpringerISBN 978-3-031-42890-6

Tranchini

Harmony and Paradox

Harmony and Paradox

Harmony and Paradox

Intensional Aspects of Proof-Theoretic Semantics

Intensional Aspects of Proof-Theoretic Semantics

Fachbuch2024BuchSpringerISBN 978-3-031-46920-6

Bezhanishvili / Iemhoff / Yang

Dick de Jongh on Intuitionistic and Provability Logics

Dick de Jongh on Intuitionistic and Provability Logics

Dick de Jongh on Intuitionistic and Provability Logics

Fachbuch2024BuchSpringerISBN 978-3-031-47920-5

Lennox

Robert Rosen and Relational System Theory: An Overview

Robert Rosen and Relational System Theory: An Overview

Robert Rosen and Relational System Theory: An Overview

Fachbuch2024BuchSpringerISBN 978-3-031-51115-8

Martsinkovsky

Functor Categories, Model Theory, Algebraic Analysis and Constructive Methods

Functor Categories, Model Theory, Algebraic Analysis and Constructive Methods

Functor Categories, Model Theory, Algebraic Analysis and Constructive Methods

FCMTCCT2 2022, Almería, Spain, July 11–15, Invited and Selected Contributions

FCMTCCT2 2022, Almería, Spain, July 11–15, Invited and Selected Contributions

Fachbuch2024BuchSpringerISBN 978-3-031-53062-3

Downey

Computability and Complexity

Computability and Complexity

Computability and Complexity

Foundations and Tools for Pursuing Scientific Applications

Foundations and Tools for Pursuing Scientific Applications

Fachbuch2024BuchSpringerISBN 978-3-031-53743-1

Baratgin / Jacquet / Yama

Human and Artificial Rationalities

Human and Artificial Rationalities

Human and Artificial Rationalities

Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings

Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings

Fachbuch2024BuchSpringerISBN 978-3-031-55244-1

Kossak

Mathematical Logic

Mathematical Logic

Mathematical Logic

On Numbers, Sets, Structures, and Symmetry

On Numbers, Sets, Structures, and Symmetry

Fachbuch2nd ed. 20242024BuchSpringerISBN 978-3-031-56214-3

2nd ed. 2024

Hacyan

The Mathematical Representation of Physical Reality

The Mathematical Representation of Physical Reality

The Mathematical Representation of Physical Reality

Fachbuch2024BuchSpringerISBN 978-3-031-21256-7

Kobayashi / Worrell

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II

Fachbuch2024BuchSpringerISBN 978-3-031-57230-2

Atif / Groote

Understanding Behaviour of Distributed Systems Using mCRL2

Understanding Behaviour of Distributed Systems Using mCRL2

Understanding Behaviour of Distributed Systems Using mCRL2

Fachbuch2024BuchSpringerISBN 978-3-031-23010-3

Frápolli

The Priority of Propositions. A Pragmatist Philosophy of Logic

The Priority of Propositions. A Pragmatist Philosophy of Logic

The Priority of Propositions. A Pragmatist Philosophy of Logic

Fachbuch2024BuchSpringerISBN 978-3-031-25231-0

Kjos-Hanssen

Automatic Complexity

Automatic Complexity

Automatic Complexity

A Computable Measure of Irregularity

A Computable Measure of Irregularity

Fachbuch2024BuchDe GruyterISBN 978-3-11-077481-8

Piecha / Wehmeier

Peter Schroeder-Heister on Proof-Theoretic Semantics

Peter Schroeder-Heister on Proof-Theoretic Semantics

Peter Schroeder-Heister on Proof-Theoretic Semantics

Fachbuch2024BuchSpringerISBN 978-3-031-50980-3