[finite-model-theory] [Vardi-list] 1/14/2021 - World-Logic-Day Lecture: From Aristotle to the iPhone