Поиск :
Личный кабинет :
Электронный каталог: Справочник таблиц УДК
К списку таблиц УДК
Доступно
1 из 1
Доступно
13 из 13
Доступно
2 из 2
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
24 из 24
Доступно
1 из 1
Доступно
2 из 2
Доступно
6 из 6
Доступно
3 из 3
Доступно
3 из 3
Доступно
4 из 4
Доступно
2 из 2
Доступно
3 из 3
Доступно
1 из 1
Доступно
2 из 2
Доступно
2 из 2
Доступно
2 из 2
Доступно
3 из 3
510.6
Сортировать по: заглавиюдате издания
Доступно
1 из 1
Книга
Левин, В.И.
Непрерывная логика: элементы теории и применение
Машиностроение, 2000 г.
ISBN отсутствует
ОХОФ
Левин, В.И.
Непрерывная логика: элементы теории и применение
Машиностроение, 2000 г.
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
Доступно
2 из 2
Книга
Кулешов, В.А.
Аналогии: отношение аналогии моделей
Навука і тэхніка, 1992 г.
ISBN 5-343-01321-X
ОХОФ, ОНЛ
Кулешов, В.А.
Аналогии: отношение аналогии моделей
Навука і тэхніка, 1992 г.
ISBN 5-343-01321-X
ОХОФ, ОНЛ
Доступно
1 из 1
Книга
Ершов, Ю.Л.
Определимость и вычислимость
Научная книга, Экономика, 2000 г.
ISBN 5-88119-029-7
ОХОФ
Ершов, Ю.Л.
Определимость и вычислимость
Научная книга, Экономика, 2000 г.
ISBN 5-88119-029-7
ОХОФ
Доступно
1 из 1
Книга
Волгин, Л.И.
Непрерывная логика. Теория и применения
Infinite-valued logik. Theory and applications
АН ЭССР, 1990 г.
ISBN отсутствует
ОХОФ
Волгин, Л.И.
Непрерывная логика. Теория и применения
Infinite-valued logik. Theory and applications
АН ЭССР, 1990 г.
ISBN отсутствует
ОХОФ
Доступно
24 из 24
Книга
Вольвачев, Р.Т.
Элементы математической логики и теории множеств: [учебное пособие для математических специальностей вузов]
Университетское, 1986 г.
ISBN отсутствует
ОХОФ, ООУЛ, ОНЛ
Вольвачев, Р.Т.
Элементы математической логики и теории множеств: [учебное пособие для математических специальностей вузов]
Университетское, 1986 г.
ISBN отсутствует
ОХОФ, ООУЛ, ОНЛ
Доступно
1 из 1
Книга
Лыскова, В.Ю.
Логика в информатике: методическое пособие
ISBN 5-932081-05-8
ОХОФ
Лыскова, В.Ю.
Логика в информатике: методическое пособие
Серия: Информатика
Лаборатория Базовых Знаний, 2004 г.ISBN 5-932081-05-8
ОХОФ
Доступно
2 из 2
Книга
Антипенко, Л.Г.
Проблема неполноты теории и ее гносеологическое значение
Наука, 1986 г.
ISBN отсутствует
ОХОФ, ОНЛ
Антипенко, Л.Г.
Проблема неполноты теории и ее гносеологическое значение
Наука, 1986 г.
ISBN отсутствует
ОХОФ, ОНЛ
Доступно
6 из 6
Доступно
3 из 3
Книга
Логический подход к искусственному интеллекту: от классической логики к логическому программированию
Мир, 1990 г.
ISBN 5-03-001636-8
ОХОФ, ОНЛ
Логический подход к искусственному интеллекту: от классической логики к логическому программированию
Мир, 1990 г.
ISBN 5-03-001636-8
ОХОФ, ОНЛ
Доступно
3 из 3
Книга
Марков, А.А.
Элементы математической логики
Издательство Московского университета, 1984 г.
ISBN отсутствует
ОХОФ, ОНЛ
Марков, А.А.
Элементы математической логики
Издательство Московского университета, 1984 г.
ISBN отсутствует
ОХОФ, ОНЛ
Доступно
4 из 4
Доступно
2 из 2
Книга
Теребилов, О.Ф.
Логика математического мышления
Издательство Ленинградского университета, 1987 г.
ISBN отсутствует
ОХОФ, ОНЛ
Теребилов, О.Ф.
Логика математического мышления
Издательство Ленинградского университета, 1987 г.
ISBN отсутствует
ОХОФ, ОНЛ
Доступно
3 из 3
Доступно
1 из 1
Книга
Лобанов, В.И.
Русская логика в информатике: букварь математической логики
Русская правда, 2010 г.
ISBN 978-5-904021-08-5
ОХОФ
Лобанов, В.И.
Русская логика в информатике: букварь математической логики
Русская правда, 2010 г.
ISBN 978-5-904021-08-5
ОХОФ
Доступно
2 из 2
Книга
Барендрегт, Хендрик Питер
Ламбда-исчисление: его синтиаксис и семантика
Мир, 1985 г.
ISBN отсутствует
ОХОФ, ОНЛ
Барендрегт, Хендрик Питер
Ламбда-исчисление: его синтиаксис и семантика
Мир, 1985 г.
ISBN отсутствует
ОХОФ, ОНЛ
Доступно
2 из 2
Доступно
2 из 2
Книга
Гжегорчик, А.
Популярная логика: общедоступный очерк логики предложений
Наука, 1972 г.
ISBN отсутствует
ОХОФ, ОНЛ
Гжегорчик, А.
Популярная логика: общедоступный очерк логики предложений
Наука, 1972 г.
ISBN отсутствует
ОХОФ, ОНЛ
Доступно
3 из 3
Книга
Крайзель, Г.
Исследования по теории доказательств: сборник статей
Мир, 1981 г.
ISBN отсутствует
ОХОФ, ОНЛ
Крайзель, Г.
Исследования по теории доказательств: сборник статей
Мир, 1981 г.
ISBN отсутствует
ОХОФ, ОНЛ