LIBRARY Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis (Synthese Library, 444) 2022 · ENGLISH · PDF View details →
LIBRARY Temporal Logic - From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing 2023 · ENGLISH · PDF View details →
LIBRARY Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts 2019 · ENGLISH · PDF View details →