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

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

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

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