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

Неполные и неразрешимые теории
Теория равенства

Теория полугрупп
Формальная арифметика
Диаграммы и расширения
Содержание раздела

---