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