Предикат а будет определен формулой, состоящей из конъюнкции подформул, которые содержатся в нижеследующих пп. - Большая Энциклопедия Нефти и Газа
Большая Энциклопедия Нефти и Газа
Главная
Карта сайта
Поиск +
Поиск по рисункам
Помощь
Выдержка из книги Марченков С.С. Элементарные рекурсивные функции
Предикат а будет определен формулой, состоящей из конъюнкции
подформул
, которые содержатся в нижеследующих пп.
(cкачать страницу)
Смотреть книгу на
libgen
Поделиться ссылкой:
