[finite-model-theory] Logica Universalis Webinar - May 19 - A Bunch of Diagrammatic Methods for Syllogistic by Frank Sautter