Изменения

Перейти к: навигация, поиск
См. также
== См. также ==
* [[Лемма о разрастании для КС-грамматик]]
* [[Интерпретация булевых формул Булевые формулы с кванторами как игр игры для двух игроков]] 
== Примечания ==
<references/>
442
правки

Навигация