Games, Logic, and Constructive Sets (Center for the Study of Language and Information - Lecture Notes) | lit.salon