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