Refine your search
Availability
-
Bibliographic level
- Книги (72)
-
Authors
- Верещагин, Николай Константинович (3)
- Драгалин, Альберт Григорьевич (3)
- Колмогоров, Андрей Николаевич (3)
- Светлов, Виктор Александрович (3)
- Monticelli, Daniele (2)
- Pajusalu, Renate (2)
- Treikelder, Anu (2)
- Акимов, Олег Евгеньевич (2)
- Андерсон, Джеймс А. (2)
- Бочаров, Вячеслав Александрович (2)
- Ивин, Александр Архипович (2)
- Ковалев, Александр Андреевич (2)
- Кулешов, Сергей Алексеевич (2)
- Маркин, Владимир Ильич (2)
- Мощенский, Владимир Андреевич (2)
- Плиско, Валерий Егорович (2)
- Попов, Александр Михайлович (2)
- Попов, Юрий Петрович (2)
- Саит-Аметов, М. Р. (2)
- Сотников, Валерий Николаевич (2)
- Столяр, Абрам Аронович (2)
- Успенский, Владимир Андреевич (2)
- Хаггарти, Р. (2)
- Шкильняк, С. С. (2)
- Dube, Rakesh (1)
- Gupta, Ritu (1)
- Pandey, Adesh (1)
- 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)
- Show more
- Show less
-
Locations
- Книгохранилище [x]
- Абонемент. Депозитарий (14)
- Абонемент (13)
- Читальный зал 5 (12)
- Читальный зал. Депозитарий (9)
- Читальный зал 4 (5)
- Отдел рукописей и книжных памятников (1)
- Библиотека РФФ (1)
- Книгохранилище-11 (1)
- Show more
- Show less
-
Item types
- Выдается в читальный зал (71)
- 1 месяц (23)
- 6 месяцев (23)
- 1 неделя (12)
- Выдается по месту хранения (5)
-
Topics
- логика высказываний [x]
- логика предикатов (41)
- учебные пособия для вузов (38)
- математическая логика (32)
- логика (19)
- теория множеств (14)
- дискретная математика (13)
- алгоритмы (12)
- комбинаторика (12)
- исчисление предикатов (11)
- булева алгебра (10)
- графы (10)
- исчисление высказываний (10)
- Тьюринга машины (9)
- булевы функции (8)
- теория алгоритмов (8)
- бинарные отношения (6)
- булевы алгебры (6)
- кванторы (6)
- логическое программирование (6)
- множества (6)
- умозаключения (6)
- группы (5)
- доказательство (5)
- теория доказательств (5)
- Геделя теорема (4)
- Геделя теорема о полноте (4)
- Черча тезис (4)
- арифметика формальная (4)
- дедуктивные умозаключения (4)
- понятия (4)
- теория графов (4)
- Гильберта программа обоснования математики (3)
- Математическая логика - Учебники и пособия (3)
- Петри сети (3)
- Пролог (3)
- автоморфизмы (3)
- аксиоматическая теория множеств (3)
- аксиоматический метод (3)
- алгебра логики (3)
- алгоритмов теория (3)
- аргументация (3)
- доказательства (3)
- логические законы (3)
- операции над множествами (3)
- определение (3)
- отношения эквивалентности (3)
- теория моделей (3)
- Байеса теорема (2)
- Бернсайда теорема (2)
- Show more
- Show less