[finite-model-theory] Logica Universalis Webinar - June 23 - The Talmudic Logic Project by Dov Gabbay and Timotheus Kampik