• ВХОД
  •  

    Полное описание

    Современные лекционные курсы. - М. : МЦНМО, 20 - . - (Математическая логика и теория алгоритмов) (Лекции по математической логике и теории алгоритмов). - Текст : непосредственный.
    Ч. 2(2008) : Языки и исчисления / Н. К. Верещагин, А. Шень. - 3-е изд., доп. - 2008. - 288 с. - Библиогр.: с. 272-275. - 1000 экз. - ISBN 978-5-94057-322-7

    ГРНТИ УДК
    27.03.19510
    03.91

    Рубрики:
    Математическая логика

    Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА
    Доп. точки доступа:
    Шень, А.
    Экз-ры полностью d762345a0e8cfce5185b68911585cea9
    Имеются экземпляры в отделах: всего -40160820 : ХР (-40160820)
    Свободны: ХР (2)
    Держатели документа:
    Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/59435/2(2008))

    Шифр в сводном ЭК: d762345a0e8cfce5185b68911585cea9



    Заказ фрагмента документа ₽