AbsOPACСправочник индексов УДК

Доступно
1 из 2

Книга
Гжегорчик, А.
Популярная логика: общедоступный очерк логики предложений
Наука. Гл. ред. физ.-мат. лит., 1979 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 3

Книга
Клини, С.
Основания интуиционистской математики: с точки зрения теории рекурсивных функций

Серия: Сер. "Математическая логика и основания математики"

Наука. Гл. ред. физ.-мат. лит., 1978 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 1

Книга
Градштейн, И. С.
Прямая и обратная теоремы: элементы алгебры логики
ОНТИ НКТП СССР, 1936 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy

Заказать

На полку

Доступно
1 из 2

Книга

Исследования по теории алгорифмов и математической логике
Наука, 1979 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 2

Книга
Новиков, П. С.
Конструктивная математическая логика с точки зрения классической

Серия: Сер. "Математическая логика и основания математики"

Наука. Гл. ред. физ.-мат. лит., 1977 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 2

Книга
Заде, Л.
Понятие лингвистической переменной и его применение к принятию приближенных решений

Серия: Сер. "Новое в зарубежной науке"

Мир, 1976 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 2

Книга
Голдблатт, Р.
Топосы. Категорный анализ логики
Мир, 1983 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 2

Книга

Теория алгорифмов и математическая логика
Вычислительный центр АН СССР, 1974 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 2

Книга
Мартин-Леф, П.
Очерки по конструктивной математике

Серия: Б-ка сборника "Математика"

Мир, 1975 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 1

Книга

Математическая теория логического вывода: сб. переводов

Серия: Сер. "Математическая логика и основания математики"

Наука. Гл. ред. физ.-мат. лит., 1967 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy

Заказать

На полку

Доступно
1 из 1

Книга
Столл, Р. Р.
Множества. Логика. Аксиоматические теории

Серия: Сер. "Математическое просвещение"

Просвещение, 1968 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy

Заказать

На полку

Доступно
1 из 1

Книга
Мельников, Г. П.
Азбука математической логики
Знание, 1967 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy

Заказать

На полку

Доступно
1 из 3

Книга
Такеути, Г.
Теория доказательств
Мир, 1978 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 4

Книга
Новиков, П. С.
Элементы математической логики

Серия: Сер. "Математическая логика и основания математики"

Наука. Гл. ред. физ.-мат. лит., 1973 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 2

Книга

Исследования по конструктивной математике и математической логике. VIII: сб. работ

Серия: Записки научных семинаров ЛОМИ

Наука. Ленингр. отд-ние, 1979 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 2

Книга
Косовский, Н. К.
Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: учеб. пособие
Изд-во Ленингр. ун-та, 1981 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 1

Книга
Петров, Ю. А.
Математическая логика и материалистическая диалектика: (проблемы логико-филос. оснований и обоснования теорий)
Изд-во Моск. ун-та, 1974 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy

Заказать

На полку

Доступно
1 из 2

Книга
Линдон, Р.
Заметки по логике

Серия: Попул. сер. "Современная математика"

Мир, 1968 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Доступно
1 из 1

Книга

Исследование логических систем
Наука, 1970 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy

Заказать

На полку

Доступно
1 из 2

Книга
Смаллиан, Р. М.
Принцесса или тигр?
Мир, 1985 г.
ISBN отсутствует
МИЭМ, контр.экз. : MIEM, Single copy, МИЭМ, науч.аб-т : MIEM, Academic col...

Заказать

На полку

Каталог печатных изданий библиотеки НИУ ВШЭ

Поиск :

Личный кабинет :

Электронный каталог: Справочник индексов УДК

510.6