Sequents and Trees - Andrzej Indrzejczak (Springer, 2021)