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




Глава 07


Арифметика Пресбургера
Арифметика Пресбургера - часть 2
Арифметика Пресбургера - часть 3
Теорема Тарского-Зайденберга
Теорема Тарского-Зайденберга - часть 2
Теорема Тарского-Зайденберга - часть 3
Теорема Тарского-Зайденберга - часть 4
Теорема Тарского-Зайденберга - часть 5
Теорема Тарского-Зайденберга - часть 6
Теорема Тарского-Зайденберга - часть 7
Теорема Тарского-Зайденберга - часть 8
Теорема Тарского-Зайденберга - часть 9
Теорема Тарского-Зайденберга - часть 10
Элементарная эквивалентность



Содержание