Поиск :
Личный кабинет :
Электронный каталог: Справочник таблиц УДК
К списку таблиц УДК
510.6
Сортировать по: заглавиюдате издания
Книга
Всесоюзная конференция по прикладной логике (2 ; 1988 ; Новосибирск)
II Всесоюзная конференция по прикладной логике, Новосибирск, 7-9 июня 1988 г.: тезисы докладов
ИМ СО АН СССР, 1988 г.
ISBN отсутствует
ОХОФ
Всесоюзная конференция по прикладной логике (2 ; 1988 ; Новосибирск)
II Всесоюзная конференция по прикладной логике, Новосибирск, 7-9 июня 1988 г.: тезисы докладов
ИМ СО АН СССР, 1988 г.
ISBN отсутствует
ОХОФ
Заказать 
На полку
Книга
Keisler, H.Jerome
Mathematical logic and computability
McGraw-Hill, 1996 г.
ISBN 0-07-912931-5
ЧЗ ЗИ
Keisler, H.Jerome
Mathematical logic and computability
McGraw-Hill, 1996 г.
ISBN 0-07-912931-5
ЧЗ ЗИ
Книга
Кулешов, В.А.
Аналогии: отношение аналогии моделей
Навука і тэхніка, 1992 г.
ISBN 5-343-01321-X
ОХОФ, ОНЛ
Кулешов, В.А.
Аналогии: отношение аналогии моделей
Навука і тэхніка, 1992 г.
ISBN 5-343-01321-X
ОХОФ, ОНЛ
Книга
Вопросы математической логики и ее приложения: межвузовский сборник научных трудов
МГПИ, 1984 г.
ISBN отсутствует
ОХОФ
Вопросы математической логики и ее приложения: межвузовский сборник научных трудов
МГПИ, 1984 г.
ISBN отсутствует
ОХОФ
Книга
Манин, Ю.И.
Доказуемое и недоказуемое
ISBN отсутствует
ОХОФ
Манин, Ю.И.
Доказуемое и недоказуемое
Серия: Кибернетика
Советское радио, 1979 г.ISBN отсутствует
ОХОФ
Книга
Исследования по теории алгорифмов и математической логике: [сборник статей]
Наука, 1979 г.
ISBN отсутствует
ОХОФ
Исследования по теории алгорифмов и математической логике: [сборник статей]
Наука, 1979 г.
ISBN отсутствует
ОХОФ
Книга
Крайзель, Г.
Исследования по теории доказательств: сборник статей
Мир, 1981 г.
ISBN отсутствует
ОХОФ, ОНЛ
Крайзель, Г.
Исследования по теории доказательств: сборник статей
Мир, 1981 г.
ISBN отсутствует
ОХОФ, ОНЛ
Книга
Столяр, А.А.
Как математика ум в порядок приводит
Вышэйшая школа, 1982 г.
ISBN отсутствует
ОХОФ, ОНЛ
Столяр, А.А.
Как математика ум в порядок приводит
Вышэйшая школа, 1982 г.
ISBN отсутствует
ОХОФ, ОНЛ
Книга
Столяр, А.А.
Как математика ум в порядок приводит
Вышэйшая школа, 1991 г.
ISBN 5-339-00587-9
ОХОФ
Столяр, А.А.
Как математика ум в порядок приводит
Вышэйшая школа, 1991 г.
ISBN 5-339-00587-9
ОХОФ
Книга
Барендрегт, Хендрик Питер
Ламбда-исчисление: его синтиаксис и семантика
Мир, 1985 г.
ISBN отсутствует
ОХОФ, ОНЛ
Барендрегт, Хендрик Питер
Ламбда-исчисление: его синтиаксис и семантика
Мир, 1985 г.
ISBN отсутствует
ОХОФ, ОНЛ
Книга
Лыскова, В.Ю.
Логика в информатике: методическое пособие
ISBN 5-932081-05-8
ОХОФ
Лыскова, В.Ю.
Логика в информатике: методическое пособие
Серия: Информатика
Лаборатория Базовых Знаний, 2004 г.ISBN 5-932081-05-8
ОХОФ
Книга
Теребилов, О.Ф.
Логика математического мышления
Издательство Ленинградского университета, 1987 г.
ISBN отсутствует
ОХОФ, ОНЛ
Теребилов, О.Ф.
Логика математического мышления
Издательство Ленинградского университета, 1987 г.
ISBN отсутствует
ОХОФ, ОНЛ
Книга
Логическая тетрадь: нерешенные вопросы математической логики (оперативный информационный материал)
ИМ, 1986 г.
ISBN отсутствует
ОХОФ
Логическая тетрадь: нерешенные вопросы математической логики (оперативный информационный материал)
ИМ, 1986 г.
ISBN отсутствует
ОХОФ
Книга
Логический подход к искусственному интеллекту: от классической логики к логическому программированию
Мир, 1990 г.
ISBN 5-03-001636-8
ОХОФ, ОНЛ
Логический подход к искусственному интеллекту: от классической логики к логическому программированию
Мир, 1990 г.
ISBN 5-03-001636-8
ОХОФ, ОНЛ
Книга
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Наука, 1983 г.
ISBN отсутствует
ОХОФ, ОНЛ
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Наука, 1983 г.
ISBN отсутствует
ОХОФ, ОНЛ
Книга
Математическая логика и теория алгоритмов: [сборник статей]
ISBN отсутствует
ОХОФ
Математическая логика и теория алгоритмов: [сборник статей]
Серия: Труды Института математики
Наука, Сибирское отделение, 1982 г.ISBN отсутствует
ОХОФ
Книга
Математическая логика, математическая лингвистика и теория алгоритмов: сборник научных трудов
КГУ, 1983 г.
ISBN отсутствует
ОХОФ
Математическая логика, математическая лингвистика и теория алгоритмов: сборник научных трудов
КГУ, 1983 г.
ISBN отсутствует
ОХОФ