Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> математика
----> математическая логика
------> исчисление высказываний
Печать списка
Экз. чит. зала
Доступно
1 из 1
Экз. чит. зала
Доступно
2 из 8
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Доступно
1 из 1
--> математика
----> математическая логика
------> исчисление высказываний
Рубрика
- Название:
- исчисление высказываний
- См. также:
- 22.12
Печать списка
Связанные описания:
Экз. чит. зала
Книга
Колмогоров, Андрей Николаевич
Введение в математическую логику: Учебное пособие для студентов математических специальностей вузов
Изд-во МГУ, 1982 г.
ISBN отсутствует
Колмогоров, Андрей Николаевич
Введение в математическую логику: Учебное пособие для студентов математических специальностей вузов
Изд-во МГУ, 1982 г.
ISBN отсутствует
На полку Доступно
1 из 1
Книга
Горбатов, Вячеслав Афанасьевич
Задачник по математической логике: Учебное пособие
ISBN отсутствует
Горбатов, Вячеслав Афанасьевич
Задачник по математической логике: Учебное пособие
Серия: Каф. вычисл. математики
МЭИ, 1972 г.ISBN отсутствует
Заказать Экз. чит. зала
Книга
Ершов, Юрий Леонидович
Математическая логика: Учеб. пособие
Лань, Краснодар, 2004 г.
ISBN 5-8114-0533-2
Ершов, Юрий Леонидович
Математическая логика: Учеб. пособие
Лань, Краснодар, 2004 г.
ISBN 5-8114-0533-2
Доступно
2 из 8
Книга
Ершов, Юрий Леонидович
Математическая логика: [Учеб. пособие для мат. спец. вузов]
Наука, 1987 г.
ISBN отсутствует
Ершов, Юрий Леонидович
Математическая логика: [Учеб. пособие для мат. спец. вузов]
Наука, 1987 г.
ISBN отсутствует
Экз. чит. зала
Книга
Ершов, Юрий Леонидович
Математическая логика: [Учеб. пособие для вузов]
Наука, 1979 г.
ISBN отсутствует
Ершов, Юрий Леонидович
Математическая логика: [Учеб. пособие для вузов]
Наука, 1979 г.
ISBN отсутствует
Экз. чит. зала
Книга
Тимофеева, Ирина Леонидовна
Математическая логика: курс лекций : учебное пособие для вузов по специальности 032100 - Математика
Университет, 2007 г.
ISBN 978-5-98227-307-9
Тимофеева, Ирина Леонидовна
Математическая логика: курс лекций : учебное пособие для вузов по специальности 032100 - Математика
Университет, 2007 г.
ISBN 978-5-98227-307-9
Экз. чит. зала
Экз. чит. зала
Книга
Судоплатов, Сергей Владимирович
Математическая логика и теория алгоритмов: Учеб. по направлениям 654600 Информатика и вычислит.техника и др.
ISBN 5-16-001975-8, 5-7782-0458-2
Судоплатов, Сергей Владимирович
Математическая логика и теория алгоритмов: Учеб. по направлениям 654600 Информатика и вычислит.техника и др.
Серия: Высшее образование, Высшее образование
ИНФРА-М, Изд-во НГТУ, 2004 г.ISBN 5-16-001975-8, 5-7782-0458-2
Экз. чит. зала
Книга
Судоплатов, Сергей Владимирович
Математическая логика и теория алгоритмов: учебник и практикум для академического бакалавриата
ISBN 978-5-9916-8277-0
Судоплатов, Сергей Владимирович
Математическая логика и теория алгоритмов: учебник и практикум для академического бакалавриата
Серия: Бакалавр. Академический курс
Юрайт, 2016 г.ISBN 978-5-9916-8277-0
Книга (аналит. описание)
Гросс, М.
Общие сведения о формальных системах [Глава 2]
б.г.
ISBN отсутствует
Гросс, М.
Общие сведения о формальных системах [Глава 2]
б.г.
ISBN отсутствует
Книга (аналит. описание)
Дорофеева, Алла Владимировна
Развитие вариационного исчисления как исчисления вариаций
б.г.
ISBN отсутствует
Дорофеева, Алла Владимировна
Развитие вариационного исчисления как исчисления вариаций
б.г.
ISBN отсутствует
Доступно
1 из 1