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




Глава 11


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



Содержание