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



Глава 11


Предваренная нормальная форма
Предваренная нормальная форма - часть 2
Предваренная нормальная форма - часть 3
Теорема Эрбрана
Теорема Эрбрана - часть 2
Сколемовские функции



Содержание