Чтобы определить понятие вывода в исчислении предикатов, мы должны сначала описать операцию подстановки, а также ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Гильберт Д.N.
Основания математики
Чтобы определить понятие вывода в исчислении предикатов, мы должны сначала описать операцию подстановки, а также операцию переименования связанных переменных.
