Поиск :
Личный кабинет :
Электронный каталог: Справочник таблиц УДК
К списку таблиц УДК
Доступно
1 из 1
Доступно
13 из 13
Доступно
2 из 2
Доступно
4 из 4
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
3 из 3
Доступно
4 из 4
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
2 из 2
Доступно
6 из 6
Доступно
1 из 1
Доступно
1 из 1
Доступно
3 из 3
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
510.6
Сортировать по: заглавиюдате издания
Доступно
1 из 1
Книга
Всесоюзная конференция по прикладной логике (2 ; 1988 ; Новосибирск)
II Всесоюзная конференция по прикладной логике, Новосибирск, 7-9 июня 1988 г.: тезисы докладов
ИМ СО АН СССР, 1988 г.
ISBN отсутствует
ОХОФ
Всесоюзная конференция по прикладной логике (2 ; 1988 ; Новосибирск)
II Всесоюзная конференция по прикладной логике, Новосибирск, 7-9 июня 1988 г.: тезисы докладов
ИМ СО АН СССР, 1988 г.
ISBN отсутствует
ОХОФ
Заказать 
На полку Доступно
13 из 13
Книга
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
ЧЗ ЗИ
Доступно
2 из 2
Книга
Кулешов, В.А.
Аналогии: отношение аналогии моделей
Навука і тэхніка, 1992 г.
ISBN 5-343-01321-X
ОХОФ, ОНЛ
Кулешов, В.А.
Аналогии: отношение аналогии моделей
Навука і тэхніка, 1992 г.
ISBN 5-343-01321-X
ОХОФ, ОНЛ
Доступно
4 из 4
Доступно
1 из 1
Книга
Вопросы математической логики и ее приложения: межвузовский сборник научных трудов
МГПИ, 1984 г.
ISBN отсутствует
ОХОФ
Вопросы математической логики и ее приложения: межвузовский сборник научных трудов
МГПИ, 1984 г.
ISBN отсутствует
ОХОФ
Доступно
1 из 1
Книга
Манин, Ю.И.
Доказуемое и недоказуемое
ISBN отсутствует
ОХОФ
Манин, Ю.И.
Доказуемое и недоказуемое
Серия: Кибернетика
Советское радио, 1979 г.ISBN отсутствует
ОХОФ
Доступно
1 из 1
Книга
Исследования по теории алгорифмов и математической логике: [сборник статей]
Наука, 1979 г.
ISBN отсутствует
ОХОФ
Исследования по теории алгорифмов и математической логике: [сборник статей]
Наука, 1979 г.
ISBN отсутствует
ОХОФ
Доступно
3 из 3
Книга
Крайзель, Г.
Исследования по теории доказательств: сборник статей
Мир, 1981 г.
ISBN отсутствует
ОХОФ, ОНЛ
Крайзель, Г.
Исследования по теории доказательств: сборник статей
Мир, 1981 г.
ISBN отсутствует
ОХОФ, ОНЛ
Доступно
4 из 4
Книга
Столяр, А.А.
Как математика ум в порядок приводит
Вышэйшая школа, 1982 г.
ISBN отсутствует
ОХОФ, ОНЛ
Столяр, А.А.
Как математика ум в порядок приводит
Вышэйшая школа, 1982 г.
ISBN отсутствует
ОХОФ, ОНЛ
Доступно
1 из 1
Книга
Столяр, А.А.
Как математика ум в порядок приводит
Вышэйшая школа, 1991 г.
ISBN 5-339-00587-9
ОХОФ
Столяр, А.А.
Как математика ум в порядок приводит
Вышэйшая школа, 1991 г.
ISBN 5-339-00587-9
ОХОФ
Доступно
2 из 2
Книга
Барендрегт, Хендрик Питер
Ламбда-исчисление: его синтиаксис и семантика
Мир, 1985 г.
ISBN отсутствует
ОХОФ, ОНЛ
Барендрегт, Хендрик Питер
Ламбда-исчисление: его синтиаксис и семантика
Мир, 1985 г.
ISBN отсутствует
ОХОФ, ОНЛ
Доступно
1 из 1
Книга
Лыскова, В.Ю.
Логика в информатике: методическое пособие
ISBN 5-932081-05-8
ОХОФ
Лыскова, В.Ю.
Логика в информатике: методическое пособие
Серия: Информатика
Лаборатория Базовых Знаний, 2004 г.ISBN 5-932081-05-8
ОХОФ
Доступно
2 из 2
Книга
Теребилов, О.Ф.
Логика математического мышления
Издательство Ленинградского университета, 1987 г.
ISBN отсутствует
ОХОФ, ОНЛ
Теребилов, О.Ф.
Логика математического мышления
Издательство Ленинградского университета, 1987 г.
ISBN отсутствует
ОХОФ, ОНЛ
Доступно
6 из 6
Доступно
1 из 1
Книга
Логическая тетрадь: нерешенные вопросы математической логики (оперативный информационный материал)
ИМ, 1986 г.
ISBN отсутствует
ОХОФ
Логическая тетрадь: нерешенные вопросы математической логики (оперативный информационный материал)
ИМ, 1986 г.
ISBN отсутствует
ОХОФ
Доступно
1 из 1
Доступно
3 из 3
Книга
Логический подход к искусственному интеллекту: от классической логики к логическому программированию
Мир, 1990 г.
ISBN 5-03-001636-8
ОХОФ, ОНЛ
Логический подход к искусственному интеллекту: от классической логики к логическому программированию
Мир, 1990 г.
ISBN 5-03-001636-8
ОХОФ, ОНЛ
Доступно
2 из 2
Книга
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Наука, 1983 г.
ISBN отсутствует
ОХОФ, ОНЛ
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Наука, 1983 г.
ISBN отсутствует
ОХОФ, ОНЛ
Доступно
1 из 1
Книга
Математическая логика и теория алгоритмов: [сборник статей]
ISBN отсутствует
ОХОФ
Математическая логика и теория алгоритмов: [сборник статей]
Серия: Труды Института математики
Наука, Сибирское отделение, 1982 г.ISBN отсутствует
ОХОФ
Доступно
1 из 1
Книга
Математическая логика, математическая лингвистика и теория алгоритмов: сборник научных трудов
КГУ, 1983 г.
ISBN отсутствует
ОХОФ
Математическая логика, математическая лингвистика и теория алгоритмов: сборник научных трудов
КГУ, 1983 г.
ISBN отсутствует
ОХОФ