Пентус, Мати Рейнович - Исчисление Ламбека и формальные грамматики : диссертация ... кандидата физико-математических наук : 01.01.06

Карточка

Пентус, Мати Рейнович.

Исчисление Ламбека и формальные грамматики : диссертация ... кандидата физико-математических наук : 01.01.06. - Москва, 1996. - 69 с.
Математическая логика, алгебра и теория чисел
грамматики формальные
OD 61 96-1/400-9

Marc21

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

Показать

Описание

Автор
ЗаглавиеИсчисление Ламбека и формальные грамматики : диссертация ... кандидата физико-математических наук : 01.01.06
Дата поступления в ЭК 06.03.1997
Каталоги Диссертации
Выходные данныеМосква, 1996
Физическое описание69 с.
ТемаМатематическая логика, алгебра и теория чисел
грамматики формальные
BBK-кодЗ973.2-018.1,0
Специальность01.01.06: Математическая логика, алгебра и теория чисел
ЯзыкРусский
Места храненияOD 61 96-1/400-9