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

       

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


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