Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> МАТЕМАТИЧЕСКАЯ ЛОГИКА
Печать списка
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
6 из 6
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
3 из 3
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
3 из 3
Доступно
1 из 1
Доступно
4 из 4
Доступно
1 из 1
Доступно
2 из 2
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Доступно
2 из 2
Доступно
2 из 2
Доступно
1 из 1
Доступно
2 из 2
--> МАТЕМАТИЧЕСКАЯ ЛОГИКА
Рубрика
- Название:
- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Печать списка
Связанные описания:
Доступно
1 из 2
Книга
Лакатос, И.
Доказательства и опровержения: как доказываются теоремы
Наука, 1967 г.
ISBN отсутствует
Лакатос, И.
Доказательства и опровержения: как доказываются теоремы
Наука, 1967 г.
ISBN отсутствует
Заказать 
На полку Доступно
1 из 1
Книга
Манин, Ю.И.
Доказуемое и недоказуемое
ISBN отсутствует
Манин, Ю.И.
Доказуемое и недоказуемое
Серия: Кибернетика
Советское радио, 1979 г.ISBN отсутствует
Доступно
1 из 1
Книга
Лавров, И.А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физико-математическая литература, 1995 г.
ISBN 5-02-014844-X
Лавров, И.А.
Задачи по теории множеств, математической логике и теории алгоритмов
Физико-математическая литература, 1995 г.
ISBN 5-02-014844-X
Доступно
6 из 6
Книга
Лавров, И.А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1984 г.
ISBN отсутствует
Лавров, И.А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1984 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Лавров, И.А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1975 г.
ISBN отсутствует
Лавров, И.А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1975 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Лавров, И.А.
Задачи по теории множеств, математической логике и теории алгоритмов: [для вузов]
Физматлит, 2002 г.
ISBN 5-922100-26-2
Лавров, И.А.
Задачи по теории множеств, математической логике и теории алгоритмов: [для вузов]
Физматлит, 2002 г.
ISBN 5-922100-26-2
Доступно
1 из 1
Книга
Горбатов, В.А.
Задачник по математической логике: [учебное пособие]
МЭИ, 1972 г.
ISBN отсутствует
Горбатов, В.А.
Задачник по математической логике: [учебное пособие]
МЭИ, 1972 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Книга
Избранные вопросы алгебры и логики: сборник, посвященный памяти А.И. Мальцева
Наука, Сибирское отделение, 1973 г.
ISBN отсутствует
Избранные вопросы алгебры и логики: сборник, посвященный памяти А.И. Мальцева
Наука, Сибирское отделение, 1973 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Новиков, П.С.
Избранные труды: Теория множеств и функций. Математическая логика и алгебра
Наука, 1979 г.
ISBN отсутствует
Новиков, П.С.
Избранные труды: Теория множеств и функций. Математическая логика и алгебра
Наука, 1979 г.
ISBN отсутствует
Доступно
3 из 3
Доступно
1 из 1
Книга
Исследования по неклассическим логикам и теории множеств: [сборник статей]
Наука, 1979 г.
ISBN отсутствует
Исследования по неклассическим логикам и теории множеств: [сборник статей]
Наука, 1979 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Исследования по неклассическим логикам и формальным системам: [сборник статей]
Наука, 1983 г.
ISBN отсутствует
Исследования по неклассическим логикам и формальным системам: [сборник статей]
Наука, 1983 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Исследования по теории алгорифмов и математической логике: [сборник статей]
Наука, 1979 г.
ISBN отсутствует
Исследования по теории алгорифмов и математической логике: [сборник статей]
Наука, 1979 г.
ISBN отсутствует
Доступно
3 из 3
Доступно
1 из 1
Книга
Исследования по теории множеств и неклассическим логикам: [сборник статей]
Наука, 1976 г.
ISBN отсутствует
Исследования по теории множеств и неклассическим логикам: [сборник статей]
Наука, 1976 г.
ISBN отсутствует
Доступно
4 из 4
Доступно
1 из 1
Доступно
2 из 2
Экз. чит. зала
Книга
Бернхард, Крис
Квантовые вычисления для настоящих айтишников
ISBN 9785446113323
Бернхард, Крис
Квантовые вычисления для настоящих айтишников
Серия: Библиотека программиста
Питер, 2020 г.ISBN 9785446113323
Доступно
1 из 1
Книга
Комбинаторика и логика: [Cборник статей]
ISBN 5-85843-041-4
Комбинаторика и логика: [Cборник статей]
Серия: Приложение к журналу "Квант"
Квантум, 2003 г.ISBN 5-85843-041-4
Доступно
1 из 1
Книга
Новиков, П.С.
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
Новиков, П.С.
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
Доступно
1 из 2
Книга
Стяжкин, Н.И.
Краткий очерк истории общей и математической логики в России
Высшая школа, 1962 г.
ISBN отсутствует
Стяжкин, Н.И.
Краткий очерк истории общей и математической логики в России
Высшая школа, 1962 г.
ISBN отсутствует
Доступно
2 из 2
Книга
Нефедов, В.Н.
Курс дискретной математики: [учебное пособие для вузов по специальности "Прикладная математика"]
Издательство МАИ, 1992 г.
ISBN отсутствует
Нефедов, В.Н.
Курс дискретной математики: [учебное пособие для вузов по специальности "Прикладная математика"]
Издательство МАИ, 1992 г.
ISBN отсутствует
Доступно
2 из 2
Книга
Барендрегт, Хендрик Питер
Ламбда-исчисление: его синтиаксис и семантика
Мир, 1985 г.
ISBN отсутствует
Барендрегт, Хендрик Питер
Ламбда-исчисление: его синтиаксис и семантика
Мир, 1985 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
2 из 2
Книга
Мощенский, В.А.
Лекции по математической логике: [учебное пособие для математических специальностей вузов]
Издательство БГУ им. В.И. Ленина, 1973 г.
ISBN отсутствует
Мощенский, В.А.
Лекции по математической логике: [учебное пособие для математических специальностей вузов]
Издательство БГУ им. В.И. Ленина, 1973 г.
ISBN отсутствует