Электронный каталог МПГУ -Книги в рубрике: - Absopac

Поиск :

Личный кабинет :

Электронный каталог: Книги в рубрике:

Рубрики
--> математика
----> математическая логика

Рубрика

Название:: математическая логика
См. также:: 22.12 основания М. л. 87.45

Печать списка

Связанные описания:

Отобрать для печати: страницу | инверсия | сброс | печать(0)

<< назад | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | вперед >>

Электронный ресурс (аналит. описание)
Чен, Сяу
О F -вложенных и f -вложенных подгруппах конечных групп
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Бикмухаметов, Равель Ильдарович
О Σ 0 2 -Начальных сегментах вычислимых линейных порядков
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Калмурзаев, Биржан
О вложимости полурешётки Lm в полурешётки Роджерса
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Васильев, Андрей Викторович
О вопросе Л. Г. Ковача
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Кёпке, П.
О вычислительных возможностях машин блюм-шуба-смэйла, работающих в бесконечном времени
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Мальцев, Иван Анатольевич
О гипертождествах квазилинейных клонов
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Биткина, Виктория Васильевна
О группе автоморфизмов дистанционно регулярного графа с массивом пересечений {35, 32,1;1, 4, 35}
б.г.
ISBN отсутствует

полный текст

На полку

Доступно
1 из 1

Диссертация
Томашевская, Елена Брониславовна
О диофантовых приближениях значений некоторых аналитических функций: Дис... канд. физ.-мат. наук : Спец. 01.01.06 - математическая логика, алгебра и теория чисел
2009 г.
ISBN отсутствует

Заказать

На полку

Книга (аналит. описание)
Тимофеева, Ирина Леонидовна
О доказательстве независимости правил пропозициональных систем естественного вывода в курсе матем...
б.г.
ISBN отсутствует

На полку

Электронный ресурс (аналит. описание)
Тимофеева, Ирина Леонидовна
О доказательстве независимости правил пропозициональных систем естественного вывода в курсе матем...
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Будкин, Александр Иванович
О доминионах разрешимых групп
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Тимофеева, Ирина Леонидовна
О допустимых правилах заключения в системах натурального вывода
б.г.
ISBN отсутствует

полный текст

На полку

Книга (аналит. описание)
Тимофеева, Ирина Леонидовна
О допустимых правилах заключения в системах натурального вывода
б.г.
ISBN отсутствует

На полку

Доступно
4 из 4

Книга

О квадратуре круга: С прил. истории вопроса, сост. Ф. Рудио
УРСС, 2003 г.
ISBN 5-354-00218-4

Заказать

На полку

Доступно
5 из 5

Редкое издание

О квадратуре круга: С приложением истории вопроса, сост. Ф. Рудио, профессора Цирюхского политехникума

Серия: Библиотека классиков точного знания

Mathesis, 1911 г.
ISBN отсутствует

Заказать

На полку

Электронный ресурс (аналит. описание)
Ву, Чженьфень
О количестве силовских подгрупп в специальных линейных группах степени 2
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Бутурлакин, Александр Александрович
О конструктивном распознавании конечных простых групп по порядкам их элементов
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Тимофеева, Ирина Леонидовна
О косвенных правилах естественного вывода в курсе математической логики и косвенных методах дока...
б.г.
ISBN отсутствует

полный текст

На полку

Книга (аналит. описание)
Игошин, Владимир Иванович
О курсе "Числовые системы" для будущих учителей математики
б.г.
ISBN отсутствует

На полку

Электронный ресурс (аналит. описание)
Тимофеева, Ирина Леонидовна
О логических эвристических средствах построения доказательств
б.г.
ISBN отсутствует

полный текст

На полку

Книга (аналит. описание)
Лукьянова, Елена Викторовна
О логической структуре одного из утверждений курса геометрии
б.г.
ISBN отсутствует

На полку

Электронный ресурс (аналит. описание)
Макаренков, Юрий Алексеевич
О методических особенностях преподавания курсов теории алгоритмов и математической логики в педвузе
б.г.
ISBN отсутствует

полный текст

На полку

Книга (аналит. описание)
Гетманова, Александра Денисовна
О многозначной логике Поста
б.г.
ISBN отсутствует

На полку

Книга (аналит. описание)
Гиленко, Наум Давидович
О научной и педагогической деятельности Петра Сергеевича Новикова
б.г.
ISBN отсутствует

На полку

Книга (аналит. описание)
Варпаховский, Федор Леонидович
О нереализуемости дизъюнкции нереализуемых формул логики высказываний
б.г.
ISBN отсутствует

На полку

Электронный ресурс (аналит. описание)
Мекей, Абиш
О представлении некоторых конечных колец матрицами над коммутативными кольцами
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Вараксин, С. В.
О представлении свободных M-групп автоморфизмами линейно упорядоченных множеств
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Вараксин, С. В.
О представлении свободных M-произведений M-групп автоморфизмами линейно упорядоченных множеств
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Игошин, В. И.
О применении математической логики при доказательстве обратных теорем
б.г.
ISBN отсутствует

полный текст

На полку

Электронный ресурс (аналит. описание)
Тимофеева, Ирина Леонидовна
О проблемах систематизации логических норм математического языка
б.г.
ISBN отсутствует

полный текст

На полку