Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> математика
----> математическая логика
------> исчисление предикатов
Печать списка
Доступно
1 из 2
Экз. чит. зала
Доступно
1 из 1
Доступно
3 из 3
Доступно
2 из 8
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
Доступно
1 из 2
Нет экз.
Доступно
1 из 1
Доступно
1 из 1
Экз. чит. зала
Доступно
1 из 1
--> математика
----> математическая логика
------> исчисление предикатов
Рубрика
- Название:
- исчисление предикатов
- См. также:
- 22.12
Печать списка
Связанные описания:
Доступно
1 из 2
Заказать 
На полку Экз. чит. зала
Книга
Колмогоров, Андрей Николаевич
Введение в математическую логику: Учебное пособие для студентов математических специальностей вузов
Изд-во МГУ, 1982 г.
ISBN отсутствует
Колмогоров, Андрей Николаевич
Введение в математическую логику: Учебное пособие для студентов математических специальностей вузов
Изд-во МГУ, 1982 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Горбатов, Вячеслав Афанасьевич
Задачник по математической логике: Учебное пособие
ISBN отсутствует
Горбатов, Вячеслав Афанасьевич
Задачник по математической логике: Учебное пособие
Серия: Каф. вычисл. математики
МЭИ, 1972 г.ISBN отсутствует
Доступно
3 из 3
Книга
Гудстейн, Р. Л.
Математическая логика: Пер. с англ.
ISBN отсутствует
Гудстейн, Р. Л.
Математическая логика: Пер. с англ.
Серия: Б-ка сб. "Математика"
Иностр.лит., 1961 г.ISBN отсутствует
Доступно
2 из 8
Книга
Ершов, Юрий Леонидович
Математическая логика: [Учеб. пособие для мат. спец. вузов]
Наука, 1987 г.
ISBN отсутствует
Ершов, Юрий Леонидович
Математическая логика: [Учеб. пособие для мат. спец. вузов]
Наука, 1987 г.
ISBN отсутствует
Экз. чит. зала
Книга
Ершов, Юрий Леонидович
Математическая логика: [Учеб. пособие для вузов]
Наука, 1979 г.
ISBN отсутствует
Ершов, Юрий Леонидович
Математическая логика: [Учеб. пособие для вузов]
Наука, 1979 г.
ISBN отсутствует
Экз. чит. зала
Книга
Ершов, Юрий Леонидович
Математическая логика: Учеб. пособие
Лань, Краснодар, 2004 г.
ISBN 5-8114-0533-2
Ершов, Юрий Леонидович
Математическая логика: Учеб. пособие
Лань, Краснодар, 2004 г.
ISBN 5-8114-0533-2
Экз. чит. зала
Книга
Тимофеева, Ирина Леонидовна
Математическая логика: курс лекций : учебное пособие для вузов по специальности 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
Доступно
1 из 2
Книга
Игошин, Владимир Иванович
Математическая логика и теория алгоритмов: учебное пособие для вузов по специальности "Математика"
Academia, 2010 г.
ISBN 978-5-7695-7045-2
Игошин, Владимир Иванович
Математическая логика и теория алгоритмов: учебное пособие для вузов по специальности "Математика"
Academia, 2010 г.
ISBN 978-5-7695-7045-2
Электронный ресурс (аналит. описание)
Бикмухаметов, Равель Ильдарович
О Σ 0 2 -Начальных сегментах вычислимых линейных порядков
б.г.
ISBN отсутствует
Бикмухаметов, Равель Ильдарович
О Σ 0 2 -Начальных сегментах вычислимых линейных порядков
б.г.
ISBN отсутствует
Книга (аналит. описание)
Сергеева, Ирина Евгеньевна
О различных определениях линейного вывода в исчислении предикатов
б.г.
ISBN отсутствует
Сергеева, Ирина Евгеньевна
О различных определениях линейного вывода в исчислении предикатов
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Александрова, Светлана Анатольевна
Об униформизации в надстройках над некоторыми расширениями r
б.г.
ISBN отсутствует
Александрова, Светлана Анатольевна
Об униформизации в надстройках над некоторыми расширениями r
б.г.
ISBN отсутствует
Нет экз.
Электронный ресурс
Анищик, Татьяна Алексеевна
Практикум по дискретной математике. Предикаты и комбинаторика: учебное пособие
КубГАУ, 2019 г.
ISBN отсутствует
Анищик, Татьяна Алексеевна
Практикум по дискретной математике. Предикаты и комбинаторика: учебное пособие
КубГАУ, 2019 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Волгин, Леонид Иванович
Реляторные генераторы предикатных, аргументных и непрерывнологических функций
Relator generators of predicative, argumental and continuons-logical functions
KLTK, 1992 г.
ISBN отсутствует
Волгин, Леонид Иванович
Реляторные генераторы предикатных, аргументных и непрерывнологических функций
Relator generators of predicative, argumental and continuons-logical functions
KLTK, 1992 г.
ISBN отсутствует
Доступно
1 из 1
Книга
Заславский, Игорь Дмитриевич
Симметрическая конструктивная логика
Изд-во Акад. наук АрмССР, 1978 г.
ISBN отсутствует
Заславский, Игорь Дмитриевич
Симметрическая конструктивная логика
Изд-во Акад. наук АрмССР, 1978 г.
ISBN отсутствует
Экз. чит. зала
Доступно
1 из 1