Advances in Proof-Theoretic Semantics (Springer Nature, 2021)
Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages