Поиск :
Личный кабинет :
Электронный каталог: Справочник таблиц УДК
К списку таблиц УДК
510.6
Сортировать по: заглавиюдате издания
Книга
Гжегорчик, А.
Популярная логика: общедоступный очерк логики предложений
Наука, 1972 г.
ISBN отсутствует
ОХОФ, ОНЛ
Гжегорчик, А.
Популярная логика: общедоступный очерк логики предложений
Наука, 1972 г.
ISBN отсутствует
ОХОФ, ОНЛ
Книга
Гжегорчик, А.
Популярная логика: общедоступный очерк логики предложений
Наука, 1979 г.
ISBN отсутствует
ОХОФ
Гжегорчик, А.
Популярная логика: общедоступный очерк логики предложений
Наука, 1979 г.
ISBN отсутствует
ОХОФ
Книга
Гильберт, Д.
Основания математики: логические исчисления и формализация арифметики
Наука, 1979 г.
ISBN отсутствует
ОХОФ
Гильберт, Д.
Основания математики: логические исчисления и формализация арифметики
Наука, 1979 г.
ISBN отсутствует
ОХОФ
Книга
Исследования по теории алгорифмов и математической логике: [сборник статей]
Наука, 1979 г.
ISBN отсутствует
ОХОФ
Исследования по теории алгорифмов и математической логике: [сборник статей]
Наука, 1979 г.
ISBN отсутствует
ОХОФ
Книга
Манин, Ю.И.
Доказуемое и недоказуемое
ISBN отсутствует
ОХОФ
Манин, Ю.И.
Доказуемое и недоказуемое
Серия: Кибернетика
Советское радио, 1979 г.ISBN отсутствует
ОХОФ
Книга
Крайзель, Г.
Исследования по теории доказательств: сборник статей
Мир, 1981 г.
ISBN отсутствует
ОХОФ, ОНЛ
Крайзель, Г.
Исследования по теории доказательств: сборник статей
Мир, 1981 г.
ISBN отсутствует
ОХОФ, ОНЛ
Книга
Гильберт, Д.
Основания математики: логические исчисления и формализация арифметики
Наука, 1982 г.
ISBN отсутствует
ОХОФ
Гильберт, Д.
Основания математики: логические исчисления и формализация арифметики
Наука, 1982 г.
ISBN отсутствует
ОХОФ
Книга
Столяр, А.А.
Как математика ум в порядок приводит
Вышэйшая школа, 1982 г.
ISBN отсутствует
ОХОФ, ОНЛ
Столяр, А.А.
Как математика ум в порядок приводит
Вышэйшая школа, 1982 г.
ISBN отсутствует
ОХОФ, ОНЛ
Книга
Математическая логика и теория алгоритмов: [сборник статей]
ISBN отсутствует
ОХОФ
Математическая логика и теория алгоритмов: [сборник статей]
Серия: Труды Института математики
Наука, Сибирское отделение, 1982 г.ISBN отсутствует
ОХОФ
Книга
Математическая логика, математическая лингвистика и теория алгоритмов: сборник научных трудов
КГУ, 1983 г.
ISBN отсутствует
ОХОФ
Математическая логика, математическая лингвистика и теория алгоритмов: сборник научных трудов
КГУ, 1983 г.
ISBN отсутствует
ОХОФ
Книга
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Наука, 1983 г.
ISBN отсутствует
ОХОФ, ОНЛ
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Наука, 1983 г.
ISBN отсутствует
ОХОФ, ОНЛ
Книга
Шапиро, С.И.
Решение логических и игровых задач: (логико-психологические этюды)
ISBN отсутствует
ОХОФ, ОНЛ
Шапиро, С.И.
Решение логических и игровых задач: (логико-психологические этюды)
Серия: Кибернетика
Радио и связь, 1984 г.ISBN отсутствует
ОХОФ, ОНЛ
Книга
Вопросы математической логики и ее приложения: межвузовский сборник научных трудов
МГПИ, 1984 г.
ISBN отсутствует
ОХОФ
Вопросы математической логики и ее приложения: межвузовский сборник научных трудов
МГПИ, 1984 г.
ISBN отсутствует
ОХОФ
Книга
Марков, А.А.
Элементы математической логики
Издательство Московского университета, 1984 г.
ISBN отсутствует
ОХОФ, ОНЛ
Марков, А.А.
Элементы математической логики
Издательство Московского университета, 1984 г.
ISBN отсутствует
ОХОФ, ОНЛ