Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> математика
----> математическая логика
Печать списка
Доступно
3 из 4
Экз. чит. зала
Экз. чит. зала
Доступно
1 из 1
Доступно
2 из 3
Доступно
1 из 10
Доступно
1 из 2
Доступно
4 из 4
Доступно
6 из 6
Доступно
2 из 3
Экз. чит. зала
Экз. чит. зала
Экз. чит. зала
--> математика
----> математическая логика
Рубрика
- Название:
- математическая логика
- См. также:
- 22.12 основания М. л. 87.45
Печать списка
Связанные описания:
![](http://ecat.mpgu.info/Opac/app/webroot/img//progress.gif)
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Шестаков, Алексей Иванович
Тернарные дифференцирования Йордановых супералгебр
б.г.
ISBN отсутствует
Шестаков, Алексей Иванович
Тернарные дифференцирования Йордановых супералгебр
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/7.gif)
Книга (аналит. описание)
Майхилл, Джон
Типы рекурсивной эквивалентности и комбинаторные функции
б.г.
ISBN отсутствует
Майхилл, Джон
Типы рекурсивной эквивалентности и комбинаторные функции
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
3 из 4
Книга
Размыслов, Юрий Питиримович
Тождества алгебр и их представлений
ISBN 5-02-013917-3
Размыслов, Юрий Питиримович
Тождества алгебр и их представлений
Серия: Современная алгебра
Наука, Физматлит, 1989 г.ISBN 5-02-013917-3
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Палютин, Евгений Андреевич
Тотально p-стабильные абелевы группы
б.г.
ISBN отсутствует
Палютин, Евгений Андреевич
Тотально p-стабильные абелевы группы
б.г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Экз. чит. зала
Книга
Труды Математического института им. В. А. Стеклова. Т. 133: математическая логика, теория алгоритмов и теория множеств: сборник статей
Наука, 1973 г.
ISBN отсутствует
Труды Математического института им. В. А. Стеклова. Т. 133: математическая логика, теория алгоритмов и теория множеств: сборник статей
Наука, 1973 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Труды Новикова П. С.: Библиографический список (1933-1974)
2017 г.
ISBN отсутствует
Труды Новикова П. С.: Библиографический список (1933-1974)
2017 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Экз. чит. зала
Книга
Успенский, Владимир Андреевич
Труды по нематематике. Т. 1: С приложение семиотических посланий А. Н. Колмогорова к авторам и его друзьям : В 2 т.
ОГИ, 2002 г.
ISBN 5-94282-086-4, 5-94282-087-2
Успенский, Владимир Андреевич
Труды по нематематике. Т. 1: С приложение семиотических посланий А. Н. Колмогорова к авторам и его друзьям : В 2 т.
ОГИ, 2002 г.
ISBN 5-94282-086-4, 5-94282-087-2
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 1
Книга
Успенский, Владимир Андреевич
Труды по нематематике. Т. 2: С приложением семиотических посланий А. Н. Колмогорова к авторам и его друзьям : В 2 т.
ОГИ, 2002 г.
ISBN 5-94282-086-4, 5-94282-088-0
Успенский, Владимир Андреевич
Труды по нематематике. Т. 2: С приложением семиотических посланий А. Н. Колмогорова к авторам и его друзьям : В 2 т.
ОГИ, 2002 г.
ISBN 5-94282-086-4, 5-94282-088-0
![](/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/1.gif)
Доступно
2 из 3
Книга
Щегольков, Евгений Алексеевич
Упражнения и задачи по курсу математической логики
МГПИ им. В. И. Ленина, 1971 г.
ISBN отсутствует
Щегольков, Евгений Алексеевич
Упражнения и задачи по курсу математической логики
МГПИ им. В. И. Ленина, 1971 г.
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 из 10
Книга
Никольская, Инна Львовна
Учимся рассуждать и доказывать: Книга для учащихся 6-10 кл. сред. шк.
Просвещение, 1989 г.
ISBN отсутствует
Никольская, Инна Львовна
Учимся рассуждать и доказывать: Книга для учащихся 6-10 кл. сред. шк.
Просвещение, 1989 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
1 из 2
Книга
Белов, Владимир Николаевич
Фантасмагория с головоломками
ISBN 5-03-003464-1
Белов, Владимир Николаевич
Фантасмагория с головоломками
Серия: Математическая мозаика
Мир, 2002 г.ISBN 5-03-003464-1
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
4 из 4
![](/Opac/app/webroot/img/doctypes/7.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/1.gif)
Доступно
6 из 6
Книга
Михайлова, К. А.
Ч., 1. : Математическая логика: Учебное пособие для студентов 3 курса математического факультета
МГПИ им. В. И. Ленина, 1972 г.
ISBN отсутствует
Михайлова, К. А.
Ч., 1. : Математическая логика: Учебное пособие для студентов 3 курса математического факультета
МГПИ им. В. И. Ленина, 1972 г.
ISBN отсутствует
![](/Opac/app/webroot/img/doctypes/1.gif)
Доступно
2 из 3
Книга
Успенский, Владимир Андреевич
Четыре алгоритмических лица случайности
МЦНМО, 2009 г.
ISBN 978-5-94057-485-9
Успенский, Владимир Андреевич
Четыре алгоритмических лица случайности
МЦНМО, 2009 г.
ISBN 978-5-94057-485-9
![](/Opac/app/webroot/img/doctypes/1.gif)
Экз. чит. зала
Книга
Кметь, Аркадий Борисович
Четырехзначная логика. Реализация операций
Радио и связь, 1991 г.
ISBN 5-256-00616-9
Кметь, Аркадий Борисович
Четырехзначная логика. Реализация операций
Радио и связь, 1991 г.
ISBN 5-256-00616-9
![](/Opac/app/webroot/img/doctypes/1.gif)
Экз. чит. зала
Книга
Лихтарников, Леонид Моисеевич
Числовые ребусы и способы их решения: Для учащихся нач. шк.
Лань, МИК, 1996 г.
ISBN 5-86617-029-9
Лихтарников, Леонид Моисеевич
Числовые ребусы и способы их решения: Для учащихся нач. шк.
Лань, МИК, 1996 г.
ISBN 5-86617-029-9
![](/Opac/app/webroot/img/doctypes/1.gif)
Экз. чит. зала
![](/Opac/app/webroot/img/doctypes/31.gif)
Электронный ресурс (аналит. описание)
Романьков, Виталий Анатольевич
Экзистенциально замкнутые подгруппы свободных нильпотентных групп
б.г.
ISBN отсутствует
Романьков, Виталий Анатольевич
Экзистенциально замкнутые подгруппы свободных нильпотентных групп
б.г.
ISBN отсутствует