Максимова, Лариса Львовна - Теоремы об определимости в нормальных расширениях логики доказуемости

Экспресс-заказ фрагмента
Максимова, Лариса Львовна.
Теоремы об определимости в нормальных расширениях логики доказуемости / Л. Л. Максимова. - Новосибирск : ИМ, 1988. - 24,[1] с.; 20 см. - (Препр. АН СССР, Сиб. отд-ние, Ин-т математики; N 9).

Математическая логика
Шифр хранения:
FB 2 88-10/480

Marc21

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

Показать

Описание

Автор
ЗаглавиеТеоремы об определимости в нормальных расширениях логики доказуемости
Коллекции ЭК РГБ Каталог документов с 1831 по настоящее время
Дата поступления в ЭК РГБ 27.02.2002
Каталоги Книги (изданные с 1831 г. по настоящее время)
Сведения об ответственностиЛ. Л. Максимова
Выходные данныеНовосибирск : ИМ, 1988
Физическое описание24,[1] с.; 20 см
Серия(Препр. АН СССР, Сиб. отд-ние, Ин-т математики; N 9)
Термины-указателиМатематическая логика
ЯзыкРусский
Места храненияFB 2 88-10/480