Seminar in logic and discrete mathematics 15 May 2020 from 12:15 to 13:15 (please click for info)

Zoom seminar 15.5.2020 from 12:15 to 13:15: Esko Turunen: Completeness of propositional Lukasiewicz logic by the Lindenbaum-Los method. Please email the organizers for the meeting id.