Refine your search
Availability
-
Bibliographic level
- Книги (36)
- Статьи из сериальных изданий (2)
-
Authors
- Акимов, Олег Евгеньевич (3)
- Верещагин, Николай Константинович (3)
- Игошин, Владимир Иванович (3)
- Успенский, Владимир Андреевич (3)
- Ерусалимский, Яков Михайлович (2)
- Зюзьков, Валентин Михайлович (2)
- Плиско, Валерий Егорович (2)
- Репин, Андрей Юрьевич (2)
- Сапоженко, Александр Антонович (2)
- Соловьев, Игорь Алексеевич (2)
- Уайтсайдс, Сью (2)
- Хаггард, Гэри (2)
- Червяков, Александр Викторович (2)
- Шевелев, Валентин Владимирович (2)
- Шлипф, Джон (2)
- Jacquette, Dale (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
- Книгохранилище (29)
- Читальный зал. Депозитарий (9)
- Абонемент (8)
- Читальный зал 5 (7)
- Абонемент. Депозитарий (5)
- Библиотека РФФ (1)
- Show more
- Show less
-
Item types
- Выдается в читальный зал (27)
- 1 месяц (19)
- 6 месяцев (12)
- 1 неделя (6)
- Выдается по месту хранения (1)
-
Topics
- кванторы (30)
- учебные пособия для вузов (17)
- математическая логика (16)
- множества (16)
- логика предикатов (11)
- бинарные отношения (10)
- булевы функции (9)
- логика высказываний (8)
- алгоритмы (7)
- предикаты (7)
- Тьюринга машины (6)
- алгебра высказываний (6)
- теория множеств (6)
- комбинаторика (5)
- аксиоматические теории (4)
- алгебра множеств (4)
- графы (4)
- дискретная математика (4)
- логика (4)
- логические операции (4)
- математические модели (4)
- теория алгоритмов (4)
- теория графов (4)
- Буля логика (3)
- Геделя теорема о полноте (3)
- Математический анализ (3)
- аксиоматическая теория высказываний (3)
- аксиоматический метод в математике (3)
- арифметика формальная (3)
- группы (3)
- дизъюнкция (3)
- дифференциал (3)
- дифференциальное исчисление (3)
- задачи (3)
- исчисление предикатов (3)
- математика (3)
- Геделя теорема о существовании модели (2)
- Кантора теорема (2)
- Маркова нормальные алгоритмы (2)
- Поста теорема о полноте системы булевых функций (2)
- Тарского теорема (2)
- Черча тезис (2)
- автоморфизмы (2)
- аксиоматическая теория алгебры высказываний (2)
- аксиоматическая теория множеств (2)
- аксиоматические теории неформальные (2)
- аксиоматические теории формальные (2)
- аксиоматический метод (2)
- алгебра предикатов (2)
- алгоритмические проблемы неразрешимые (2)
- Show more
- Show less
-
Collections
-
Places
- ЭБС Лань (2)