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


         

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

Арифметика Пресбургера
Арифметика Пресбургера - 2
Арифметика Пресбургера - 3

Теорема Тарского-Зайденберга
Теорема Тарского-Зайденберга - 2
Теорема Тарского-Зайденберга - 3
Теорема Тарского-Зайденберга - 4
Теорема Тарского-Зайденберга - 5
Теорема Тарского-Зайденберга - 6
Теорема Тарского-Зайденберга - 7
Теорема Тарского-Зайденберга - 8
Теорема Тарского-Зайденберга - 9
Теорема Тарского-Зайденберга - 10

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