Языки и исчисления

Выразимость в арифметике
Невыразимые предикаты: автоморфизмы
Элиминация кванторов: элиминация кванторов
Содержание раздела

---