Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> математика
----> математическая логика
Печать списка
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Доступно
3 из 3
Доступно
3 из 3
Доступно
3 из 3
Нет экз.
Доступно
1 из 2
Экз. чит. зала
--> математика
----> математическая логика
Рубрика
- Название:
- математическая логика
- См. также:
- 22.12 основания М. л. 87.45
Печать списка
Связанные описания:
![](http://ecat.mpgu.info/Opac/app/webroot/img//progress.gif)
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
2 из 2
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Нуракунов, Анвар
Решётки квазимногообразий точечных абелевых групп
б.г.
ISBN отсутствует
Нуракунов, Анвар
Решётки квазимногообразий точечных абелевых групп
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Палютин, Евгений Андреевич
Р-спектры абелевых групп
б.г.
ISBN отсутствует
Палютин, Евгений Андреевич
Р-спектры абелевых групп
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Дробышевич, Сергей Андреевич
Ряд модальных операторов над интуиционистской логикой
б.г.
ISBN отсутствует
Дробышевич, Сергей Андреевич
Ряд модальных операторов над интуиционистской логикой
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Корнев, Руслан Александрович
Сводимость вычислимых метрик на вещественной прямой
б.г.
ISBN отсутствует
Корнев, Руслан Александрович
Сводимость вычислимых метрик на вещественной прямой
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/7.gif)
Книга (аналит. описание)
Плесневич, Геральд Станиславович
Семантика схем бесструктурных понятий
б.г.
ISBN отсутствует
Плесневич, Геральд Станиславович
Семантика схем бесструктурных понятий
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Герасимов, Алексей Семенович
Семантические таблицы с метапеременными для логики нечётких неравенств
б.г.
ISBN отсутствует
Герасимов, Алексей Семенович
Семантические таблицы с метапеременными для логики нечётких неравенств
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Абешев, Куаныш Шурабатырович
Семейства без минимальных нумераций
б.г.
ISBN отсутствует
Абешев, Куаныш Шурабатырович
Семейства без минимальных нумераций
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Ершов, Юрий Леонидович
Сепарант произвольного многочлена
б.г.
ISBN отсутствует
Ершов, Юрий Леонидович
Сепарант произвольного многочлена
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Леонтьева, Маргарита Николаевна
Сильная конструктивизируемость булевых алгебр элементарной характеристики (INFTY, 0, 0)
б.г.
ISBN отсутствует
Леонтьева, Маргарита Николаевна
Сильная конструктивизируемость булевых алгебр элементарной характеристики (INFTY, 0, 0)
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Максимова, Лариса Львовна
Сильная разрешимость и сильная узнаваемость
б.г.
ISBN отсутствует
Максимова, Лариса Львовна
Сильная разрешимость и сильная узнаваемость
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
Книга
Заславский, Игорь Дмитриевич
Симметрическая конструктивная логика
Изд-во Акад. наук АрмССР, 1978 г.
ISBN отсутствует
Заславский, Игорь Дмитриевич
Симметрическая конструктивная логика
Изд-во Акад. наук АрмССР, 1978 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Максимова, Лариса Львовна
Слои над минимальной логикой
б.г.
ISBN отсутствует
Максимова, Лариса Львовна
Слои над минимальной логикой
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/44.gif)
Доступно
1 из 1
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Горбачев, Василий Иванович
Содержание логико - понятийной компетенции общего математического образования (методико-математич...
б.г.
ISBN отсутствует
Горбачев, Василий Иванович
Содержание логико - понятийной компетенции общего математического образования (методико-математич...
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/6.gif)
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Ершов, Юрий Леонидович
Сопредельные точки и U-расширения
б.г.
ISBN отсутствует
Ершов, Юрий Леонидович
Сопредельные точки и U-расширения
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Баженов, Николай Алексеевич
Спектры автоустойчивости булевых алгебр
б.г.
ISBN отсутствует
Баженов, Николай Алексеевич
Спектры автоустойчивости булевых алгебр
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 2
Книга
Справочная книга по математической логике. Ч. 1: Теория моделей: В 4 ч.
Наука, 1982 г.
ISBN отсутствует
Справочная книга по математической логике. Ч. 1: Теория моделей: В 4 ч.
Наука, 1982 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
3 из 3
Книга
Справочная книга по математической логике. Ч. 2: Теория множеств: В 4 ч.
Наука, 1982 г.
ISBN отсутствует
Справочная книга по математической логике. Ч. 2: Теория множеств: В 4 ч.
Наука, 1982 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
3 из 3
Книга
Справочная книга по математической логике. Ч. 3: Теория рекурсии: В 4 ч.
Наука. Гл. ред. физ.-мат. лит., 1982 г.
ISBN отсутствует
Справочная книга по математической логике. Ч. 3: Теория рекурсии: В 4 ч.
Наука. Гл. ред. физ.-мат. лит., 1982 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
3 из 3
Книга
Справочная книга по математической логике. Ч. 4: Теория доказательств и конструктивная математика: В 4 ч.
Наука, 1983 г.
ISBN отсутствует
Справочная книга по математической логике. Ч. 4: Теория доказательств и конструктивная математика: В 4 ч.
Наука, 1983 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Эндрюс, У.
Сравнение классов конечных сумм
б.г.
ISBN отсутствует
Эндрюс, У.
Сравнение классов конечных сумм
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Арсланов, Марат Мирзаевич
Структурная теория степеней неразрешимости: достижения и открытые проблем
б.г.
ISBN отсутствует
Арсланов, Марат Мирзаевич
Структурная теория степеней неразрешимости: достижения и открытые проблем
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/30.gif)
Нет экз.
Электронный ресурс
Селезнев, Вадим Александрович
Структурные свойства математического языка: Учебное пособие
НГТУ, 2016 г.
ISBN 978-5-7782-3059-0
Селезнев, Вадим Александрович
Структурные свойства математического языка: Учебное пособие
НГТУ, 2016 г.
ISBN 978-5-7782-3059-0
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Алаев, П. Е.
Структуры, вычислимые за полиномиальное время. II
б.г.
ISBN отсутствует
Алаев, П. Е.
Структуры, вычислимые за полиномиальное время. II
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Алаев, П. Е.
Существование и единственность структур, вычислимых за полиномиальное время
б.г.
ISBN отсутствует
Алаев, П. Е.
Существование и единственность структур, вычислимых за полиномиальное время
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Дворянинов, Сергей Владимирович
Существует, не существует, каждый... или задачи на составление предположений
б.г.
ISBN отсутствует
Дворянинов, Сергей Владимирович
Существует, не существует, каждый... или задачи на составление предположений
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 2
Книга
Труднев, Виктор Петрович
Считай, смекай, отгадывай: [Для учащихся нач. шк.]
Учпедгиз, 1960 г.
ISBN отсутствует
Труднев, Виктор Петрович
Считай, смекай, отгадывай: [Для учащихся нач. шк.]
Учпедгиз, 1960 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Экз. чит. зала
Книга
Труднев, Виктор Петрович
Считай, смекай, отгадывай: Для учащихся нач. шк.
Лань, МИК, 1996 г.
ISBN 5-86617-039-6
Труднев, Виктор Петрович
Считай, смекай, отгадывай: Для учащихся нач. шк.
Лань, МИК, 1996 г.
ISBN 5-86617-039-6