Arnon Avron on Semantics and Proof Theory of Non-Classical Logics - Ofer Arieli, Anna Zamansky (Springer, 2021)