Refine your search
Availability
-
Bibliographic level
- Книги (3)
- Статьи из сборников (2)
- Статьи из сериальных изданий (1)
-
Authors
-
Locations
- Книгохранилище (3)
- Читальный зал 5 (1)
- Абонемент (1)
- Абонемент. Депозитарий (1)
- Отдел рукописей и книжных памятников (1)
-
Item types
- Выдается в читальный зал (3)
- 1 неделя (1)
- 1 месяц (1)
- 6 месяцев (1)
-
Topics
- Беккер, Исаак Хаимович (2)
- Белоногов, Вячеслав Александрович (2)
- Гриншпон, Самуил Яковлевич (2)
- Кожухов, Сергей Федорович (2)
- Крылов, Петр Андреевич (2)
- Мисяков, Виктор Михайлович (2)
- Молин, Федор Эдуардович (2)
- Романов, Николай Павлович (2)
- Романович, Владимир Александрович (2)
- Росошек, Семен Константинович (2)
- Себельдин, Анатолий Михайлович (2)
- Тимошенко, Егор Александрович (2)
- Томский государственный университет. Механико-математический факультет. Кафедра алгебры (2)
- Трофимов, Петр Иванович (2)
- Чехлов, Андрей Ростиславович (2)
- Чунихин, Сергей Антонович (2)
- логика предикатов (2)
- труды ученых ТГУ (2)
- ученые-математики (2)
- SLD-резолюции (1)
- Геделя теорема о полноте (1)
- Добрусин, Юрий Борисович (1)
- Зиновьев, Егор Геннадьевич (1)
- Казачков, Борис Владимирович (1)
- Клини дедуктика (1)
- Копанев (Пелевин), Анатолий Иванович (1)
- Малаховский, Владислав Степанович (1)
- Малеев, Всеволод Александрович (1)
- Математический анализ (1)
- Пестов, Герман Гаврилович (1)
- Томск, город (1)
- Шляфер, Александр Зиновьевич (1)
- Эрбрана теорема (1)
- Эрбрана-Скулема алгоритм (1)
- алгебра (1)
- алгебра высказываний (1)
- алгоритм унификации (1)
- анализ релейно-контактных схем (1)
- бинарные отношения (1)
- высшие учебные заведения (1)
- дерево поиска (1)
- диссертации (1)
- история кафедр (1)
- исчисление предикатов (1)
- кольца (1)
- конгруэнции, пары (1)
- конгруэнции, пары непараболические (1)
- конгруэнции, пары параболические (1)
- линейные подпространства (1)
- линейчатые поверности, пары параболические (1)
- Show more
- Show less