Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> МАТЕМАТИЧЕСКАЯ ЛОГИКА
Печать списка
Доступно
3 из 3
Доступно
1 из 1
Экз. чит. зала
Доступно
3 из 3
Доступно
3 из 3
Доступно
1 из 1
Доступно
1 из 1
Доступно
46 из 46
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 1
Доступно
5 из 5
Доступно
3 из 3
Доступно
6 из 6
Доступно
2 из 2
Доступно
2 из 2
Доступно
13 из 13
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
--> МАТЕМАТИЧЕСКАЯ ЛОГИКА
Рубрика
- Название:
- МАТЕМАТИЧЕСКАЯ ЛОГИКА
Печать списка
Связанные описания:
Доступно
3 из 3
Заказать 
На полку Доступно
1 из 1
Книга
Попов, А.И.
Введение в математическую логику
Издательство Ленинградского университета, 1959 г.
ISBN отсутствует
Попов, А.И.
Введение в математическую логику
Издательство Ленинградского университета, 1959 г.
ISBN отсутствует
Экз. чит. зала
Книга
Грошев, А.В.
Введение в математическую логику и ее технические приложения: учебное пособие
УПИ, 1964 г.
ISBN отсутствует
Грошев, А.В.
Введение в математическую логику и ее технические приложения: учебное пособие
УПИ, 1964 г.
ISBN отсутствует
Доступно
3 из 3
Книга
Клини, Стефен Коул
Введение в метаматематику
Издательство иностранной литературы, 1957 г.
ISBN отсутствует
Клини, Стефен Коул
Введение в метаматематику
Издательство иностранной литературы, 1957 г.
ISBN отсутствует
Доступно
3 из 3
Книга
Робинсон, Авраам
Введение в теорию моделей и метаматематику алгебры
Наука, 1967 г.
ISBN отсутствует
Робинсон, Авраам
Введение в теорию моделей и метаматематику алгебры
Наука, 1967 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Успенский, В.А.
Вводный курс математической логики
ISBN 5-211-01845-1
Успенский, В.А.
Вводный курс математической логики
Серия: Математика
Издательство МГУ, 1991 г.ISBN 5-211-01845-1
Доступно
1 из 1
Книга
Успенский, В.А.
Вводный курс математической логики: [учебное пособие для вузов]
Физматлит, 2002 г.
ISBN 5-922102-78-8
Успенский, В.А.
Вводный курс математической логики: [учебное пособие для вузов]
Физматлит, 2002 г.
ISBN 5-922102-78-8
Доступно
46 из 46
Книга
Гахович, Анатолий Станиславович
Векторный анализ: (теория поля) : учебно-методическое пособие для студентов инженерно-технических специальностей
БГПА, 1998 г.
ISBN отсутствует
Гахович, Анатолий Станиславович
Векторный анализ: (теория поля) : учебно-методическое пособие для студентов инженерно-технических специальностей
БГПА, 1998 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы кибернетики. Неклассические логики и их применение: [сборник статей]
Научный совет по комплексной проблеме "Кибернетика" АН СССР, 1982 г.
ISBN отсутствует
Вопросы кибернетики. Неклассические логики и их применение: [сборник статей]
Научный совет по комплексной проблеме "Кибернетика" АН СССР, 1982 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы математической логики и ее приложения: межвузовский сборник научных трудов
МГПИ, 1984 г.
ISBN отсутствует
Вопросы математической логики и ее приложения: межвузовский сборник научных трудов
МГПИ, 1984 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Вопросы математической логики и теории алгоритмов: [сборник статей]
ВЦ АН СССР, 1988 г.
ISBN отсутствует
Вопросы математической логики и теории алгоритмов: [сборник статей]
ВЦ АН СССР, 1988 г.
ISBN отсутствует
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Электронный ресурс
Вычислительная математика [Электронный ресурс]: электронный учебно-методический комплекс для студентов специальностей 1-40 01 01 "Программное обеспечение информационных технологий", 1-40 ...
БНТУ, 2016 г.
ISBN отсутствует
Вычислительная математика [Электронный ресурс]: электронный учебно-методический комплекс для студентов специальностей 1-40 01 01 "Программное обеспечение информационных технологий", 1-40 ...
БНТУ, 2016 г.
ISBN отсутствует
Статья
Мiжэвiч, В.М.
Гiльбертауская праграма абгрунтавання матэматыкi (логiка-фiласофскi аспект)
2006 г.
ISBN отсутствует
Мiжэвiч, В.М.
Гiльбертауская праграма абгрунтавання матэматыкi (логiка-фiласофскi аспект)
2006 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Кипнис, М.М.
Генценовские системы для исчисления высказываний и аксиоматической арифметики: учебное пособие
ЧПИ, 1985 г.
ISBN отсутствует
Кипнис, М.М.
Генценовские системы для исчисления высказываний и аксиоматической арифметики: учебное пособие
ЧПИ, 1985 г.
ISBN отсутствует
Доступно
1 из 2
Доступно
1 из 1
Доступно
5 из 5
Книга
Новиков, Ф.А.
Дискретная математика: для бакалавров и магистров : учебник для студентов высших учебных заведений, обучающихся по направлению подготовки "Системный анализ и управление"
Питер, Питер, 2017 г.
ISBN 978-5-496-02044-2
Новиков, Ф.А.
Дискретная математика: для бакалавров и магистров : учебник для студентов высших учебных заведений, обучающихся по направлению подготовки "Системный анализ и управление"
Питер, Питер, 2017 г.
ISBN 978-5-496-02044-2
Доступно
3 из 3
Книга
Новиков, Ф.А.
Дискретная математика: для бакалавров и магистров : учебник для студентов высших учебных заведений, обучающихся по направлению подготовки "Системный анализ и управление"
Питер, Питер, 2018 г.
ISBN 978-5-496-02044-2
Новиков, Ф.А.
Дискретная математика: для бакалавров и магистров : учебник для студентов высших учебных заведений, обучающихся по направлению подготовки "Системный анализ и управление"
Питер, Питер, 2018 г.
ISBN 978-5-496-02044-2
Доступно
6 из 6
Доступно
2 из 2
Доступно
2 из 2
Книга
Плотников, А.Д.
Дискретная математика: учебное пособие
Новое знание, 2008 г.
ISBN 978-985-475-371-3
Плотников, А.Д.
Дискретная математика: учебное пособие
Новое знание, 2008 г.
ISBN 978-985-475-371-3
Доступно
13 из 13
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Книга
Бугров, Я.С.
Дифференциальное и интегральное исчисление: [учебник для инженерно-технических специальностей вузов]
ISBN 5-222-00217-9
Бугров, Я.С.
Дифференциальное и интегральное исчисление: [учебник для инженерно-технических специальностей вузов]
Серия: Высшая математика
Феникс, 1997 г.ISBN 5-222-00217-9