"Games, Logic, and Constructive Sets (Center for the Study of Language and Information - Lecture Notes)" - читать интересную книгу автора (Grigori Mints, Reinhard Muskens)