Refine your search
Availability
-
Bibliographic level
- Книги (85)
-
Authors
- Игошин, Владимир Иванович (5)
- Драгалин, Альберт Григорьевич (4)
- Ершов, Юрий Леонидович (4)
- Клини, Стивен Коул (4)
- Колмогоров, Андрей Николаевич (4)
- Палютин, Евгений Андреевич (4)
- Зюзьков, Валентин Михайлович (3)
- Кузнецов, Олег Петрович (3)
- Новиков, Федор Александрович (3)
- Адян, Сергей Иванович (2)
- Глухов, Михаил Михайлович (2)
- Гринченков, Дмитрий Валерьевич (2)
- Гуц, Александр Константинович (2)
- Кошельский, Юрий Константинович (2)
- Лавров, Игорь Андреевич (2)
- Лихтарников, Леонид Моисеевич (2)
- Максимова, Лариса Львовна (2)
- Минц, Г. Е. (2)
- Панько, Сергей Васильевич (2)
- Певзнер, Леонид Давидович (2)
- Потоцкий, Сергей Иванович (2)
- Путятина, Елена Николаевна (2)
- Спирин, Павел Алексеевич (2)
- Спирина, Марина Савельевна (2)
- Столяр, Абрам Аронович (2)
- Сукачева, Тамара Геннадьевна (2)
- Флегонтов, Александр Владимирович (2)
- Шишков, Алексей Борисович (2)
- Ярыгин, Анатолий Николаевич (2)
- Ярыгин, Олег Николаевич (2)
- Boehme, Gert (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
- Книгохранилище (57)
- Читальный зал 5 (30)
- Абонемент. Депозитарий (16)
- Абонемент (13)
- Читальный зал. Депозитарий (13)
- Читальный зал 4 (2)
- Немецкий читальный зал (1)
- Отдел рукописей и книжных памятников (1)
- Библиотека РФФ (1)
- Книгохранилище-11 (1)
- Факультетская библиотека (1)
- Show more
- Show less
-
Item types
- Выдается в читальный зал (56)
- 1 месяц (31)
- 6 месяцев (26)
- 1 неделя (25)
- Выдается по месту хранения (11)
-
Topics
- исчисление высказываний (76)
- математическая логика (48)
- исчисление предикатов (46)
- учебные пособия для вузов (42)
- логика предикатов (37)
- Тьюринга машины (21)
- теория алгоритмов (21)
- логика высказываний (20)
- теория множеств (16)
- булевы функции (15)
- алгоритмы (14)
- рекурсивные функции (13)
- алгебра высказываний (12)
- алгебра логики (11)
- комбинаторика (11)
- множества (11)
- булева алгебра (10)
- логические исчисления (9)
- аксиоматические теории (8)
- теория доказательств (8)
- теория моделей (8)
- бинарные отношения (7)
- графы (7)
- дискретная математика (7)
- задачи (7)
- функции рекурсивные (7)
- Геделя теорема о неполноте (6)
- арифметика формальная (6)
- булевы алгебры (6)
- логическое программирование (6)
- множеств теория (6)
- учебные издания для вузов (6)
- Геделя теорема (5)
- аксиоматические теории формальные (5)
- алгебраические системы (5)
- логико-математические языки (5)
- основания математики (5)
- теорема о дедукции (5)
- Геделя теорема о полноте (4)
- Гильберта программа обоснования математики (4)
- Колмогоров, Андрей Николаевич (4)
- Маркова нормальные алгоритмы (4)
- Математическая логика - Учебники и пособия (4)
- Черча тезис (4)
- алгоритмические проблемы неразрешимые (4)
- алгоритмов теория (4)
- конечные автоматы (4)
- логические законы (4)
- математические структуры (4)
- наивная теория множеств (4)
- Show more
- Show less
-
Collections
-
Places
- ЭБС Лань (2)