Mathematische Logik

Reilly / Petrich

Completely Regular Semigroup Varieties

Completely Regular Semigroup Varieties

Completely Regular Semigroup Varieties

Applications and Advanced Techniques

Applications and Advanced Techniques

Fachbuch2024SpringerISBN 978-3-031-48824-5

Weiss / Birman

Saul Kripke on Modal Logic

Saul Kripke on Modal Logic

Saul Kripke on Modal Logic

Fachbuch2024SpringerISBN 978-3-031-57634-8

Diekert / Kreuzer

Finitely Presented Groups

Finitely Presented Groups

Finitely Presented Groups

With Applications in Post-Quantum Cryptography and Artificial Intelligence

With Applications in Post-Quantum Cryptography and Artificial Intelligence

Fachbuch2024De GruyterISBN 978-3-11-147337-6

Hoffmann

Gödel's Incompleteness Theorems

Gödel's Incompleteness Theorems

Gödel's Incompleteness Theorems

A Guided Tour Through Kurt Gödel’s Historic Proof

A Guided Tour Through Kurt Gödel’s Historic Proof

Fachbuch2024SpringerISBN 978-3-662-69549-4

Steinberg

Languages and Automata

Languages and Automata

Languages and Automata

GAGTA BOOK 3

GAGTA BOOK 3

Fachbuch2024De GruyterISBN 978-3-11-099642-5

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

Plotnicki

Information-Oriented Logic

Information-Oriented Logic

Information-Oriented Logic

Implications of Natural-Language Sentences and All Logical Paradoxes Solved

Implications of Natural-Language Sentences and All Logical Paradoxes Solved

Fachbuch2024De GruyterISBN 978-3-11-144046-0

Laurel / Mitrea

Weighted Morrey Spaces

Weighted Morrey Spaces

Weighted Morrey Spaces

Calderón-Zygmund Theory and Boundary Problems

Calderón-Zygmund Theory and Boundary Problems

Fachbuch2024De GruyterISBN 978-3-11-145816-8

Carrara / Martino

Arbitrary Reference in Logic and Mathematics

Arbitrary Reference in Logic and Mathematics

Arbitrary Reference in Logic and Mathematics

Fachbuch2024SpringerISBN 978-3-031-66451-9

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

Sedlár / Standefer / Tedder

New Directions in Relevant Logic

New Directions in Relevant Logic

New Directions in Relevant Logic

Fachbuch2024SpringerISBN 978-3-031-69939-9

Agarwal

Mathematics Before and After Pythagoras

Mathematics Before and After Pythagoras

Mathematics Before and After Pythagoras

Exploring the Foundations and Evolution of Mathematical Thought

Exploring the Foundations and Evolution of Mathematical Thought

Fachbuch2024SpringerISBN 978-3-031-74223-1

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

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

Akram / Rodríguez Alcantud / Shumaiza

Multi-criteria Decision Making Methods with Bipolar Fuzzy Sets

Multi-criteria Decision Making Methods with Bipolar Fuzzy Sets

Multi-criteria Decision Making Methods with Bipolar Fuzzy Sets

Fachbuch2024Springer Nature SingaporeISBN 9789819905713

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

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

Hesse, Christian

Achtung Denkfalle!

Achtung Denkfalle!

Achtung Denkfalle!

Die erstaunlichsten Alltagsirrtümer und wie man sie durchschaut

Die erstaunlichsten Alltagsirrtümer und wie man sie durchschaut

Monografie2011C.H.BECKISBN 978-3-406-62204-5

Supowit

Algorithms for Constructing Computably Enumerable Sets

Algorithms for Constructing Computably Enumerable Sets

Algorithms for Constructing Computably Enumerable Sets

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