Поиск :
Личный кабинет :
Электронный каталог: Верещагин, Николай Константинович - Языки и исчисления
Верещагин, Николай Константинович - Языки и исчисления
Доступно
1 из 1
1 из 1
Книга
Автор: Верещагин, Николай Константинович
Языки и исчисления
Серия: Лекции по математической логике и теории алгоритмов, Современные лекционные курсы
Издательство: МЦНМО, МЦНМО, 2000 г.
ISBN 5-900916-66-9
Автор: Верещагин, Николай Константинович
Языки и исчисления
Серия: Лекции по математической логике и теории алгоритмов, Современные лекционные курсы
Издательство: МЦНМО, МЦНМО, 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
51мл В317
Верещагин, Николай Константинович.
Языки и исчисления / Н.К.Верещагин,А.Шень . - М. : МЦНМО, 2000 . - 286с. : ил. - (Лекции по математической логике и теории алгоритмов) (Современные лекционные курсы) . - На обл.загл.2-ой сер.:Математическая логика и теория алгоритмов . - Библиогр.:с.269-272 . - На рус. яз. - ISBN 5-900916-66-9 : 55.00 .
ББК 22.122я7
основной = математика
основной = математика : математическая логика
основной = философия : логика : классическая логика : логика высказываний
основной = математика : математическая логика : исчисление высказываний
основной = математика : математическая логика : языки первого порядка
основной = математика : математическая логика : исчисление предикатов
основной = теории и модели
основной = виды изданий : учебные издания
профили = Преподавание математики и информатики:Бак:ИМИ
доп.книгообеспеченность = Доп.книгообеспеченность: книги
00000000350337 МАТН 51мл В317