Куку, Иван Васильевич - О параметрической полноте систем формул в цепных логиках : автореферат дис. ... кандидата физико-математических наук : 01.01.06

Карточка

Куку, Иван Васильевич.

О параметрической полноте систем формул в цепных логиках : автореферат дис. ... кандидата физико-математических наук : 01.01.06 / АН МССР. Ин-т математики с ВЦ. - Кишинев, 1988. - 15 с.
Математическая логика, алгебра и теория чисел
FB 9 88-10/1939-7
FB 9 88-10/1940-0

Marc21

Скачать marc21-запись
Скачать rusmarc-запись

Показать

Описание

Автор
ЗаглавиеО параметрической полноте систем формул в цепных логиках : автореферат дис. ... кандидата физико-математических наук : 01.01.06
Дата поступления в ЭК 06.01.1989
Каталоги Авторефераты диссертаций
Сведения об ответственностиАН МССР. Ин-т математики с ВЦ
Выходные данныеКишинев, 1988
Физическое описание15 с.
ТемаМатематическая логика, алгебра и теория чисел
BBK-кодВ123,03
Специальность01.01.06: Математическая логика, алгебра и теория чисел
ЯзыкРусский
Места храненияFB 9 88-10/1939-7
FB 9 88-10/1940-0