Refine your search
Availability
-
Bibliographic level
- Книги (67)
-
Authors
- Акимов, Олег Евгеньевич (2)
- Воронов, Михаил Владимирович (2)
- Глухов, Михаил Михайлович (2)
- Гришин, Анатолий Михайлович (2)
- Дубнищева, Татьяна Яковлевна (2)
- Ершов, Юрий Леонидович (2)
- Игошин, Владимир Иванович (2)
- Клини, Стивен Коул (2)
- Колмогоров, Андрей Николаевич (2)
- Шиханович, Юрий Александрович (2)
- Адян, С. И. (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)
- Джонс, Мартин Хартли (1)
- Драгалин, Альберт Григорьевич (1)
- Дубинина, Н. М (1)
- Елизаров, Виктор Павлович (1)
- Елович, Ирина Владимировна (1)
- Ермолаева, Н. М. (1)
- Есенин-Вольпин, Александр Сергеевич (1)
- Жолков, Сергей Юрьевич (1)
- Жуков, Александр Владимирович (1)
- Show more
- Show less
-
Locations
- Читальный зал 5 [x]
- Книгохранилище [x]
- Абонемент. Депозитарий (19)
- Абонемент (9)
- Отдел рукописей и книжных памятников (3)
- Факультетская библиотека (1)
- Show more
- Show less
-
Item types
- Выдается в читальный зал (65)
- 1 неделя (58)
- 1 месяц (23)
- 6 месяцев (22)
- Выдается по месту хранения (11)
-
Topics
- математическая логика (46)
- учебные пособия для вузов (31)
- логика предикатов (17)
- исчисление высказываний (14)
- исчисление предикатов (13)
- множества (12)
- алгоритмы (10)
- дискретная математика (10)
- алгебра логики (9)
- комбинаторика (9)
- булевы функции (8)
- графы (8)
- логика высказываний (8)
- математика (8)
- теория множеств (8)
- Тьюринга машины (7)
- теория моделей (6)
- аксиоматические теории (5)
- алгебра высказываний (5)
- линейная алгебра (5)
- теория вероятностей (5)
- теория доказательств (5)
- Математический анализ (4)
- алгебра множеств (4)
- алгоритмов теория (4)
- булева алгебра (4)
- булевы алгебры (4)
- история математики (4)
- кодирование информации (4)
- логическое программирование (4)
- математическое моделирование (4)
- основания математики (4)
- 20 век (3)
- Геделя теорема о полноте (3)
- Задачи (3)
- Колмогоров, Андрей Николаевич (3)
- Математика высшая (3)
- дифференциальное исчисление (3)
- задачи (3)
- интегральное исчисление (3)
- информатика (3)
- 19 век (2)
- 21 век (2)
- Буля алгебра (2)
- Вернадского учение (2)
- Геделя теорема (2)
- Геделя теорема о неполноте (2)
- Гильберта программа обоснования математики (2)
- Информатика (2)
- Карно карты (2)
- Show more
- Show less
-
Collections