[finite-model-theory] Logica Universalis Webinar - June 16 - Sequents and Trees by Andrzej Indrzejczak