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

Арифметика Пресбургера
Теорема Тарского-Зайденберга

Элементарная эквивалентность
Содержание раздела

---