Поиск :
Личный кабинет :
Электронный каталог: Справочник таблиц УДК
К списку таблиц УДК
510.6(075.8)
Сортировать по: заглавиюдате издания
Книга
Введение в математику: элементы математической логики: методические рекомендации
Издательство ВГУ им. П.М. Машерова, 2014 г.
ISBN отсутствует
ОХОФ
Введение в математику: элементы математической логики: методические рекомендации
Издательство ВГУ им. П.М. Машерова, 2014 г.
ISBN отсутствует
ОХОФ
Заказать 
На полку
Книга
Успенский, В.А.
Вводный курс математической логики
ISBN 5-211-01845-1
ОХОФ
Успенский, В.А.
Вводный курс математической логики
Серия: Математика
Издательство МГУ, 1991 г.ISBN 5-211-01845-1
ОХОФ
Книга
Успенский, В.А.
Вводный курс математической логики: [учебное пособие для вузов]
Физматлит, 2002 г.
ISBN 5-922102-78-8
ОХОФ
Успенский, В.А.
Вводный курс математической логики: [учебное пособие для вузов]
Физматлит, 2002 г.
ISBN 5-922102-78-8
ОХОФ
Книга
Кипнис, М.М.
Генценовские системы для исчисления высказываний и аксиоматической арифметики: учебное пособие
ЧПИ, 1985 г.
ISBN отсутствует
ОХОФ
Кипнис, М.М.
Генценовские системы для исчисления высказываний и аксиоматической арифметики: учебное пособие
ЧПИ, 1985 г.
ISBN отсутствует
ОХОФ
Книга
Косовский, Н.К.
Логики конечнозначных предикатов на основе неравенств: учебное пособие
Издательство СПбГУ, 2000 г.
ISBN 5-288-02049-3
ОХОФ
Косовский, Н.К.
Логики конечнозначных предикатов на основе неравенств: учебное пособие
Издательство СПбГУ, 2000 г.
ISBN 5-288-02049-3
ОХОФ
Книга
Шиханович, Ю.А.
Логические и математические исчисления: учебное пособие
Научный мир, 2011 г.
ISBN 9785915222464
ОХОФ
Шиханович, Ю.А.
Логические и математические исчисления: учебное пособие
Научный мир, 2011 г.
ISBN 9785915222464
ОХОФ
Книга
Колмогоров, А.Н.
Математическая логика: [учебное пособие для математических специальностей вузов]
Едиториал УРСС, 2005 г.
ISBN 5-354-01003-9
ОХОФ
Колмогоров, А.Н.
Математическая логика: [учебное пособие для математических специальностей вузов]
Едиториал УРСС, 2005 г.
ISBN 5-354-01003-9
ОХОФ
Книга
Математическая логика: [учебное пособие для математических специальностей педагогических институтов]
Вышэйшая школа, 1991 г.
ISBN 5-339-00342-6
ОХОФ, ООУЛ, ОНЛ
Математическая логика: [учебное пособие для математических специальностей педагогических институтов]
Вышэйшая школа, 1991 г.
ISBN 5-339-00342-6
ОХОФ, ООУЛ, ОНЛ
Книга
Ершов, Ю.Л.
Математическая логика: [учебное пособие для вузов]
Наука, 1979 г.
ISBN отсутствует
ОНЛ, ОХОФ
Ершов, Ю.Л.
Математическая логика: [учебное пособие для вузов]
Наука, 1979 г.
ISBN отсутствует
ОНЛ, ОХОФ
Книга
Ершов, Ю.Л.
Математическая логика: [учебное пособие для математических специальностей вузов]
Наука, 1987 г.
ISBN отсутствует
ОХОФ, ОНЛ
Ершов, Ю.Л.
Математическая логика: [учебное пособие для математических специальностей вузов]
Наука, 1987 г.
ISBN отсутствует
ОХОФ, ОНЛ
Книга
Колмогоров, А.Н.
Математическая логика: дополнительные главы : [учебное пособие для вузов по специальности "Математика"]
Издательство Московского университета, 1984 г.
ISBN отсутствует
ОХОФ, ОНЛ
Колмогоров, А.Н.
Математическая логика: дополнительные главы : [учебное пособие для вузов по специальности "Математика"]
Издательство Московского университета, 1984 г.
ISBN отсутствует
ОХОФ, ОНЛ
Книга
Судоплатов, С.В.
Математическая логика и теория алгоритмов: учебник [для вузов по направлениям 654600 "Информатика и вычислительная техника", 654700 "Информационные системы", 540200
ISBN 5-7782-0458-2
ОХОФ
Судоплатов, С.В.
Математическая логика и теория алгоритмов: учебник [для вузов по направлениям 654600 "Информатика и вычислительная техника", 654700 "Информационные системы", 540200
Серия: Высшее образование
ИНФРА-М, НГТУ, 2004 г.ISBN 5-7782-0458-2
ОХОФ
Книга
Гринченков, Д.В.
Математическая логика и теория алгоритмов для программистов: учебное пособие для студентов вузов по специальности "Программное обеспечение вычислительной техники и автоматизированных
КноРус, 2013 г.
ISBN 978-5-406-02434-8
ОХОФ, ОНЛ, ЧЗ N1
Гринченков, Д.В.
Математическая логика и теория алгоритмов для программистов: учебное пособие для студентов вузов по специальности "Программное обеспечение вычислительной техники и автоматизированных
КноРус, 2013 г.
ISBN 978-5-406-02434-8
ОХОФ, ОНЛ, ЧЗ N1
Книга
Папуш, П.Н.
Приложения математической логики и теории конечных автоматов в инженерных задачах: (учебное пособие)
МАДИ, 1979 г.
ISBN отсутствует
ОХОФ
Папуш, П.Н.
Приложения математической логики и теории конечных автоматов в инженерных задачах: (учебное пособие)
МАДИ, 1979 г.
ISBN отсутствует
ОХОФ
Книга
Лазарева, Е.А.
Элементы математической логики: пособие по математике для студентов-иностранцев
Издательство Московского университета, 1979 г.
ISBN отсутствует
ОХОФ
Лазарева, Е.А.
Элементы математической логики: пособие по математике для студентов-иностранцев
Издательство Московского университета, 1979 г.
ISBN отсутствует
ОХОФ
Книга
Яковлев, В.Ф.
Элементы математической логики: учебное пособие
МИСИ, 1983 г.
ISBN отсутствует
ОХОФ
Яковлев, В.Ф.
Элементы математической логики: учебное пособие
МИСИ, 1983 г.
ISBN отсутствует
ОХОФ
Книга
Косовский, Н.К.
Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: учебное пособие
Издательство Ленинградского университета, 1981 г.
ISBN отсутствует
ОХОФ
Косовский, Н.К.
Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: учебное пособие
Издательство Ленинградского университета, 1981 г.
ISBN отсутствует
ОХОФ