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


         

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


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