Вы здесь

Главная

квантификатор

Связанные издания:

Logic and Games on Automatic Structures: Playing with Quantifiers and Decomposition