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