История
15 ноября 2016
24 января 2012
21 января 2012
17 января 2012
Переформулировка теоремы. Теперь она, кажется, нормальная
+162
→Интерпретация булевых формул с кванторами как игр для двух игроков
м-7
Фиксы в формулировках и русском языке
+182
ой, забыл))
м-41
Полностью переделано оформление + исправлено много чего в тексте
+348