Электронный каталог МПГУ -Верещагин, Николай Константинович - Языки и исчисления- Absopac

Поиск :

Личный кабинет :

Электронный каталог: Верещагин, Николай Константинович - Языки и исчисления

Верещагин, Николай Константинович - Языки и исчисления

Доступно
1 из 1

Книга
Автор: Верещагин, Николай Константинович
Языки и исчисления
Серия: Лекции по математической логике и теории алгоритмов, Современные лекционные курсы
Издательство: МЦНМО, МЦНМО, 2000 г.
ISBN 5-900916-66-9

Заказать

На полку

Книга
51мл В317

Верещагин, Николай Константинович.
Языки и исчисления / Н.К.Верещагин,А.Шень. – М. : МЦНМО, 2000. – 286с. : ил. – (Лекции по математической логике и теории алгоритмов)(Современные лекционные курсы). – На обл.загл.2-ой сер.:Математическая логика и теория алгоритмов. – Библиогр.:с.269-272. – На рус. яз. – ISBN 5-900916-66-9 : 55.00.

ББК 22.122я7

основной = математика
основной = математика : математическая логика
основной = философия : логика : классическая логика : логика высказываний
основной = математика : математическая логика : исчисление высказываний
основной = математика : математическая логика : языки первого порядка
основной = математика : математическая логика : исчисление предикатов
основной = теории и модели
основной = виды изданий : учебные издания
профили = Преподавание математики и информатики:Бак:ИМИ
доп.книгообеспеченность = Доп.книгообеспеченность: книги

00000000350337 МАТН 51мл В317