Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> математика
----> математическая логика
Печать списка
Доступно
1 из 1
Доступно
1 из 1
Доступно
1 из 1
Доступно
2 из 2
Доступно
1 из 1
--> математика
----> математическая логика
Рубрика
- Название:
- математическая логика
- См. также:
- 22.12 основания М. л. 87.45
Печать списка
Связанные описания:
Доступно
1 из 1
Статья
Тимофеева, Ирина Леонидовна
Некоторые замечания о методе доказательства от противного
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
Некоторые замечания о методе доказательства от противного
б.г.
ISBN отсутствует
Книга (аналит. описание)
Кейслер, Г. Дж.
Некоторые применения теории моделей к теории множеств
б.г.
ISBN отсутствует
Кейслер, Г. Дж.
Некоторые применения теории моделей к теории множеств
б.г.
ISBN отсутствует
Книга (аналит. описание)
Цинман, Леонид Львович
Некоторые примеры и теоремы из теории рекурсивных функций
б.г.
ISBN отсутствует
Цинман, Леонид Львович
Некоторые примеры и теоремы из теории рекурсивных функций
б.г.
ISBN отсутствует
Книга (аналит. описание)
Тарский, Альфред
Некоторые проблемы и результаты, связанные с основаниями теории множеств
б.г.
ISBN отсутствует
Тарский, Альфред
Некоторые проблемы и результаты, связанные с основаниями теории множеств
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Морозов, Андрей Сергеевич
Непредставимость некоторых структур анализа в наследственно конечных надстройках
б.г.
ISBN отсутствует
Морозов, Андрей Сергеевич
Непредставимость некоторых структур анализа в наследственно конечных надстройках
б.г.
ISBN отсутствует
Доступно
1 из 1
Книга
Волгин, Леонид Иванович
Непрерывная логика. Теория и применения
Infinite-valued logic. Theory and applications
1990 г.
ISBN отсутствует
Волгин, Леонид Иванович
Непрерывная логика. Теория и применения
Infinite-valued logic. Theory and applications
1990 г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Хухро, Евгений Иванович
Неразрешимая длина конечных групп
б.г.
ISBN отсутствует
Хухро, Евгений Иванович
Неразрешимая длина конечных групп
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Боков, Григорий Владимирович
Неразрешимое итеративное пропозициональное исчисление
б.г.
ISBN отсутствует
Боков, Григорий Владимирович
Неразрешимое итеративное пропозициональное исчисление
б.г.
ISBN отсутствует
Книга (аналит. описание)
Робинсон, Джулия Холл
Неразрешимость показательных диофантовых уравнений
б.г.
ISBN отсутствует
Робинсон, Джулия Холл
Неразрешимость показательных диофантовых уравнений
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Мазуров, Виктор Данилович
Нераспознаваемость конечной простой группы 3D 4(2) по спектру
б.г.
ISBN отсутствует
Мазуров, Виктор Данилович
Нераспознаваемость конечной простой группы 3D 4(2) по спектру
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Лукьянова, Елена Викторовна
Несколько замечаний к формулировке и доказательству Леммы о коллинеарных векторах
б.г.
ISBN отсутствует
Лукьянова, Елена Викторовна
Несколько замечаний к формулировке и доказательству Леммы о коллинеарных векторах
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Тимофеева, Ирина Леонидовна
Несколько замечаний об изложении метода математической индукции в школьных учебниках по математике
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
Несколько замечаний об изложении метода математической индукции в школьных учебниках по математике
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Батыршин, Ильнур Ильдарович
Несократимые, сингулярные и смежные степени
б.г.
ISBN отсутствует
Батыршин, Ильнур Ильдарович
Несократимые, сингулярные и смежные степени
б.г.
ISBN отсутствует
Доступно
1 из 1
Электронный ресурс (аналит. описание)
Локшин, Александр Александрович
Нужно ли преподавать детям логику, или почему подсознание отделено от сознания?
б.г.
ISBN отсутствует
Локшин, Александр Александрович
Нужно ли преподавать детям логику, или почему подсознание отделено от сознания?
б.г.
ISBN отсутствует
Доступно
2 из 2
Книга
Шень, Александр Ханиевич
О \"математической строгости\" и школьном курсе математики
МЦНМО, 2006 г.
ISBN 5-94057-254-5
Шень, Александр Ханиевич
О \"математической строгости\" и школьном курсе математики
МЦНМО, 2006 г.
ISBN 5-94057-254-5
Электронный ресурс (аналит. описание)
Лыткина, Дарья Викторовна
О {2, 3}-группах, не содержащих элементов порядка 6
б.г.
ISBN отсутствует
Лыткина, Дарья Викторовна
О {2, 3}-группах, не содержащих элементов порядка 6
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Ершов, Юрий Леонидович
О D-ранге топологического пространства
б.г.
ISBN отсутствует
Ершов, Юрий Леонидович
О D-ранге топологического пространства
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Чен, Сяу
О F -вложенных и f -вложенных подгруппах конечных групп
б.г.
ISBN отсутствует
Чен, Сяу
О F -вложенных и f -вложенных подгруппах конечных групп
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Бикмухаметов, Равель Ильдарович
О Σ 0 2 -Начальных сегментах вычислимых линейных порядков
б.г.
ISBN отсутствует
Бикмухаметов, Равель Ильдарович
О Σ 0 2 -Начальных сегментах вычислимых линейных порядков
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Калмурзаев, Биржан
О вложимости полурешётки Lm в полурешётки Роджерса
б.г.
ISBN отсутствует
Калмурзаев, Биржан
О вложимости полурешётки Lm в полурешётки Роджерса
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Васильев, Андрей Викторович
О вопросе Л. Г. Ковача
б.г.
ISBN отсутствует
Васильев, Андрей Викторович
О вопросе Л. Г. Ковача
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Кёпке, П.
О вычислительных возможностях машин блюм-шуба-смэйла, работающих в бесконечном времени
б.г.
ISBN отсутствует
Кёпке, П.
О вычислительных возможностях машин блюм-шуба-смэйла, работающих в бесконечном времени
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Мальцев, Иван Анатольевич
О гипертождествах квазилинейных клонов
б.г.
ISBN отсутствует
Мальцев, Иван Анатольевич
О гипертождествах квазилинейных клонов
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Биткина, Виктория Васильевна
О группе автоморфизмов дистанционно регулярного графа с массивом пересечений {35, 32,1;1, 4, 35}
б.г.
ISBN отсутствует
Биткина, Виктория Васильевна
О группе автоморфизмов дистанционно регулярного графа с массивом пересечений {35, 32,1;1, 4, 35}
б.г.
ISBN отсутствует
Доступно
1 из 1
Книга (аналит. описание)
Тимофеева, Ирина Леонидовна
О доказательстве независимости правил пропозициональных систем естественного вывода в курсе матем...
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
О доказательстве независимости правил пропозициональных систем естественного вывода в курсе матем...
б.г.
ISBN отсутствует
Электронный ресурс (аналит. описание)
Тимофеева, Ирина Леонидовна
О доказательстве независимости правил пропозициональных систем естественного вывода в курсе матем...
б.г.
ISBN отсутствует
Тимофеева, Ирина Леонидовна
О доказательстве независимости правил пропозициональных систем естественного вывода в курсе матем...
б.г.
ISBN отсутствует