Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> математика
----> математическая логика
Печать списка
Доступно
1 из 1
Доступно
3 из 3
Доступно
6 из 6
Доступно
2 из 2
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
--> математика
----> математическая логика
Рубрика
- Название:
- математическая логика
- См. также:
- 22.12 основания М. л. 87.45
Печать списка
Связанные описания:
Доступно
1 из 1
Книга
Успенский, Борис Андреевич
Вводный курс математической логики: [Учеб.пособие для вузов]
Физматлит, 2002 г.
ISBN 5-9221-0278-8
Успенский, Борис Андреевич
Вводный курс математической логики: [Учеб.пособие для вузов]
Физматлит, 2002 г.
ISBN 5-9221-0278-8
Заказать 
На полку Доступно
3 из 3
Книга
Успенский, Борис Андреевич
Вводный курс математической логики: [Учеб.пособие для вузов]
Физматлит, 2004 г.
ISBN 5-9221-0278-8
Успенский, Борис Андреевич
Вводный курс математической логики: [Учеб.пособие для вузов]
Физматлит, 2004 г.
ISBN 5-9221-0278-8
Доступно
6 из 6
Книга
Вопросы математической логики и ее приложения: Межвуз. сб. науч. тр.
МГПИ им. В. И. Ленина, 1984 г.
ISBN отсутствует
Вопросы математической логики и ее приложения: Межвуз. сб. науч. тр.
МГПИ им. В. И. Ленина, 1984 г.
ISBN отсутствует
Книга (аналит. описание)
Кабаков, Феликс Александрович
Воспоминания о П. С. Новикове
б.г.
ISBN отсутствует
Кабаков, Феликс Александрович
Воспоминания о П. С. Новикове
б.г.
ISBN отсутствует
Доступно
2 из 2
Книга
Восьмая Всесоюзная конференция по математической логике. Посвящается 85-летию академика П. С. Нов...: тезисы докладов
МГПИ им. В. И. Ленина, 1986 г.
ISBN отсутствует
Восьмая Всесоюзная конференция по математической логике. Посвящается 85-летию академика П. С. Нов...: тезисы докладов
МГПИ им. В. И. Ленина, 1986 г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Вся жизнь - математика: виртуальная выставка, 6+
2017 г.
ISBN отсутствует
Вся жизнь - математика: виртуальная выставка, 6+
2017 г.
ISBN отсутствует
Экз. чит. зала
Доступно
1 из 1
Доступно
1 из 1
Книга
Вып. 17. : Математические вопросы кибернетики: [Сб. ст.]
Физматлит, 2008 г.
ISBN 978-5-9221-1055-6
Вып. 17. : Математические вопросы кибернетики: [Сб. ст.]
Физматлит, 2008 г.
ISBN 978-5-9221-1055-6
Доступно
1 из 2
Книга
Вып. 18. : Математические вопросы кибернетики: [Сборник статей]
Физматлит, 2013 г.
ISBN 978-5-9221-1536-0
Вып. 18. : Математические вопросы кибернетики: [Сборник статей]
Физматлит, 2013 г.
ISBN 978-5-9221-1536-0
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Книга
Вып. 6. : Математические вопросы кибернетики
Наука. Физматлит, Физматлит, 1996 г.
ISBN 5-02-015088-6
Вып. 6. : Математические вопросы кибернетики
Наука. Физматлит, Физматлит, 1996 г.
ISBN 5-02-015088-6
Доступно
2 из 2
Книга
Вып. 7. : Математические вопросы кибернетики
Наука. Физматлит, Физматлит, 1998 г.
ISBN 5-02-015121-1
Вып. 7. : Математические вопросы кибернетики
Наука. Физматлит, Физматлит, 1998 г.
ISBN 5-02-015121-1
Доступно
1 из 1
Доступно
1 из 1
Книга
Раца, Мефодий Федорович
Выразимость в исчислениях высказываний
Штиинца, 1991 г.
ISBN 5-376-00961-0
Раца, Мефодий Федорович
Выразимость в исчислениях высказываний
Штиинца, 1991 г.
ISBN 5-376-00961-0
Электронный ресурс (аналит. описание)
Эндрюс, У.
Вычисление и мажорирование функции Рылль-Нардзевского
б.г.
ISBN отсутствует
Эндрюс, У.
Вычисление и мажорирование функции Рылль-Нардзевского
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Авдеев, Роман
Вычислимая модель с нестандартной вычислимостью
б.г.
ISBN отсутствует
Авдеев, Роман
Вычислимая модель с нестандартной вычислимостью
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Рыбалов, Александр Николаевич
Генерическая теорема Гёделя о неполноте
б.г.
ISBN отсутствует
Рыбалов, Александр Николаевич
Генерическая теорема Гёделя о неполноте
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Мясников, А. Г.
Генерические теории как метод аппроксимации элементарных теорий
б.г.
ISBN отсутствует
Мясников, А. Г.
Генерические теории как метод аппроксимации элементарных теорий
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Мищенко, А. А.
Генерические теории серий конечных абелевых групп
б.г.
ISBN отсутствует
Мищенко, А. А.
Генерические теории серий конечных абелевых групп
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Мальцев, Иван Анатольевич
Гипертождества квазилинейных клонов, содержащих креативные функции
б.г.
ISBN отсутствует
Мальцев, Иван Анатольевич
Гипертождества квазилинейных клонов, содержащих креативные функции
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Гришков, Александр Николаевич
Группы автоморфизмов диагональных ZP-форм алгебры Ли S12(QP), P> 2
б.г.
ISBN отсутствует
Гришков, Александр Николаевич
Группы автоморфизмов диагональных ZP-форм алгебры Ли S12(QP), P> 2
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Белоусов, Иван
Группы автоморфизмов небольших дистанционно регулярных графов
б.г.
ISBN отсутствует
Белоусов, Иван
Группы автоморфизмов небольших дистанционно регулярных графов
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Вдовин, Евгений Петрович
Группы индуцированных автоморфизмов и их применение для изучения проблемы существования холловых ...
б.г.
ISBN отсутствует
Вдовин, Евгений Петрович
Группы индуцированных автоморфизмов и их применение для изучения проблемы существования холловых ...
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Лыткина, Д. В.
Группы, порядки элементов которых не превосходят 6
б.г.
ISBN отсутствует
Лыткина, Д. В.
Группы, порядки элементов которых не превосходят 6
б.г.
ISBN отсутствует
Книга (аналит. описание)
Монтэгю, Ричард
Две теоремы, относящиеся к основаниям теории множеств
б.г.
ISBN отсутствует
Монтэгю, Ричард
Две теоремы, относящиеся к основаниям теории множеств
б.г.
ISBN отсутствует
Доступно
1 из 1
Книга
Либер, Алексанр Евгеньевич
Двоичная булева алгебра и ее приложения
Изд-во Саратовского ун-та, 1966 г.
ISBN отсутствует
Либер, Алексанр Евгеньевич
Двоичная булева алгебра и ее приложения
Изд-во Саратовского ун-та, 1966 г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Романовский, Николай Семенович
Делимые жёсткие группы. алгебраическая замкнутость и элементарная теория
б.г.
ISBN отсутствует
Романовский, Николай Семенович
Делимые жёсткие группы. алгебраическая замкнутость и элементарная теория
б.г.
ISBN отсутствует
Доступно
1 из 1
Книга
Кузичев, Александр Сергеевич
Диаграммы Венна. История и применения
ISBN отсутствует
Кузичев, Александр Сергеевич
Диаграммы Венна. История и применения
Серия: АН СССР. Науч. совет по комплексной пробл. "Кибернетика" , секция филос. вопросов кибернетики
Наука, 1968 г.ISBN отсутствует