Mathematische Logik
Keller
Mathematik interaktiv und verständlich
Mathematik interaktiv und verständlich
für Naturwissenschaftler, Ingenieure und Mediziner
Bezhanishvili / Iemhoff / Yang
Dick de Jongh on Intuitionistic and Provability Logics
Dick de Jongh on Intuitionistic and Provability Logics
Reilly / Petrich
Completely Regular Semigroup Varieties
Completely Regular Semigroup Varieties
Applications and Advanced Techniques
Martsinkovsky
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
Downey
Foundations and Tools for Pursuing Scientific Applications
Kossak
On Numbers, Sets, Structures, and Symmetry
2nd ed. 2024
Kobayashi / Worrell
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
Schreiner
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Barron / Del Greco
Probability and Statistics for STEM
Probability and Statistics for STEM
A Course in One Semester
2nd ed. 2024
Baratgin / Jacquet / Yama
Human and Artificial Rationalities
Human and Artificial Rationalities
Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings
Reilly / Petrich
Completely Regular Semigroup Varieties
Completely Regular Semigroup Varieties
A Comprehensive Study with Modern Insights