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
Madigan / Béziau
Universal Logic, Ethics, and Truth
Universal Logic, Ethics, and Truth
Essays in Honor of John Corcoran (1937-2021)
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
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
Schreiner
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Cimiano / Frank / Kohlhase / Stein
First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings
Barron / Del Greco
Probability and Statistics for STEM
Probability and Statistics for STEM
A Course in One Semester
2nd ed. 2024