Mathematische Logik
Keller
Mathematik interaktiv und verständlich
Mathematik interaktiv und verständlich
für Naturwissenschaftler, Ingenieure und Mediziner
Madigan / Béziau
Universal Logic, Ethics, and Truth
Universal Logic, Ethics, and Truth
Essays in Honor of John Corcoran (1937-2021)
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
Downey
Foundations and Tools for Pursuing Scientific Applications
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
Cimiano / Frank / Kohlhase / Stein
First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings
Schreiner
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
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
Barron / Del Greco
Probability and Statistics for STEM
Probability and Statistics for STEM
A Course in One Semester
2nd ed. 2024