Refine your search
Availability
-
Bibliographic level
- Книги (48)
-
Authors
- Драгалин, Альберт Григорьевич (3)
- Ершов, Юрий Леонидович (3)
- Игошин, Владимир Иванович (3)
- Клини, Стивен Коул (3)
- Колмогоров, Андрей Николаевич (3)
- Палютин, Евгений Андреевич (3)
- Адян, Сергей Иванович (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)
- Show more
- Show less
-
Locations
- Книгохранилище [x]
- Читальный зал 5 (16)
- Абонемент. Депозитарий (10)
- Абонемент (8)
- Читальный зал. Депозитарий (8)
- Книгохранилище-11 (1)
- Факультетская библиотека (1)
- Show more
- Show less
-
Item types
- Выдается в читальный зал (47)
- 1 месяц (23)
- 1 неделя (16)
- 6 месяцев (15)
- Выдается по месту хранения (1)
-
Topics
- исчисление высказываний [x]
- математическая логика (33)
- учебные пособия для вузов (31)
- исчисление предикатов (28)
- логика предикатов (23)
- Тьюринга машины (13)
- теория алгоритмов (13)
- логика высказываний (12)
- теория множеств (11)
- алгебра высказываний (9)
- алгоритмы (9)
- рекурсивные функции (9)
- булевы функции (8)
- множества (7)
- булева алгебра (6)
- логические исчисления (6)
- теория доказательств (6)
- аксиоматические теории (5)
- алгебра логики (5)
- алгебраические системы (5)
- булевы алгебры (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)
- Колмогоров, Андрей Николаевич (2)
- Маркова алгоритмы нормальные (2)
- Show more
- Show less
-
Collections