О пропозициональных исчислениях, представляющих понятие доказуемости : автореф. дис. на соиск. учен. степ. к. ф.-м. н. : специальность 01.01.06 <Математическая логика, алгебра и теория чисел>

Заглавие:О пропозициональных исчислениях, представляющих понятие доказуемости : автореф. дис. на соиск. учен. степ. к. ф.-м. н. : специальность 01.01.06 <Математическая логика, алгебра и теория чисел>

Физическое описание:15 с.

Библиотечный фонд:Российская Национальная Библиотека

Полное библиографическое описание

Доступные права:

Просмотр:

• 100% от первой страницы документа

Печать:

• Произвольный отрывок, составляющий 25% документа