"Games, logic, and constructive sets" - читать интересную книгу автора (Grigori Mints, Reinhard Muskens)