Посредством этих двух теорем и достигается сведение понятия выводимости к понятию доказуемости. - Большая Энциклопедия Нефти и Газа



Выдержка из книги Столл Р.Р. Множества Логистика Аксиоматические теории


Посредством этих двух теорем и достигается сведение понятия выводимости к понятию доказуемости.

(cкачать страницу)

Смотреть книгу на libgen

Посредством этих двух теорем и достигается сведение понятия выводимости к понятию доказуемости.