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