Today is UNESCO World Logic Day 2022. http://wld.cipsh.international/ Events: http://wld.cipsh.international/wld2022.html -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam