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