Mathematische Logik
Reilly / Petrich
Completely Regular Semigroup Varieties
Completely Regular Semigroup Varieties
Applications and Advanced Techniques
Plotnicki
Implications of Natural-Language Sentences and All Logical Paradoxes Solved
Laurel / Mitrea
Calderón-Zygmund Theory and Boundary Problems
Diekert / Kreuzer
With Applications in Post-Quantum Cryptography and Artificial Intelligence
Parravicini
Le fondamenta della fisica sperimentale
Le fondamenta della fisica sperimentale
I presupposti del sapere fisico e scientifico
Abdyssagin
Quantum Mechanics and Avant-Garde Music
Quantum Mechanics and Avant-Garde Music
Shadows of the Void
Diaconescu
Institution-independent Model Theory
Institution-independent Model Theory
2., Second Edition 2024
Hoffmann
Gödel's Incompleteness Theorems
Gödel's Incompleteness Theorems
A Guided Tour Through Kurt Gödel’s Historic Proof
Agarwal
Mathematics Before and After Pythagoras
Mathematics Before and After Pythagoras
Exploring the Foundations and Evolution of Mathematical Thought
Zerpa
The Logic, Philosophy, and History of the Lambda-Calculus
The Logic, Philosophy, and History of the Lambda-Calculus
Theory and Applications
König / Urbat
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
Akram / Rodríguez Alcantud / Shumaiza
Multi-criteria Decision Making Methods with Bipolar Fuzzy Sets
Multi-criteria Decision Making Methods with Bipolar Fuzzy Sets
Cimiano / Frank / Kohlhase / Stein
First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings
Cimiano / Frank / Kohlhase / Stein
First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings