Mathematische Logik
Malinowski / Palczewski
Janusz Czelakowski on Logical Consequence
Janusz Czelakowski on Logical Consequence
Reilly / Petrich
Completely Regular Semigroup Varieties
Completely Regular Semigroup Varieties
A Comprehensive Study with Modern Insights
Madigan / Béziau
Universal Logic, Ethics, and Truth
Universal Logic, Ethics, and Truth
Essays in Honor of John Corcoran (1937-2021)
Downey
Foundations and Tools for Pursuing Scientific Applications
Bezhanishvili / Iemhoff / Yang
Dick de Jongh on Intuitionistic and Provability Logics
Dick de Jongh on Intuitionistic and Provability Logics
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 I
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
Cantone / Pulvirenti
From Computational Logic to Computational Biology
From Computational Logic to Computational Biology
Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career
Baratgin / Jacquet / Yama
Human and Artificial Rationalities
Human and Artificial Rationalities
Second International Conference, HAR 2023, Paris, France, September 19–22, 2023, Proceedings