Refine your search
Availability
-
Bibliographic level
- Книги (14)
- Статьи из сериальных изданий (1)
-
Authors
- Новиков, Петр Сергеевич (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)
- Show more
- Show less
-
Locations
- Книгохранилище (14)
- Читальный зал 5 (3)
- Абонемент. Депозитарий (3)
- Читальный зал 3 (1)
- Абонемент (1)
-
Item types
- Выдается в читальный зал (13)
- 1 месяц (7)
- 1 неделя (4)
- 6 месяцев (3)
-
Topics
- математическая логика (5)
- Математический анализ (2)
- Эрбрана теорема (2)
- исчисление высказываний (2)
- исчисление предикатов (2)
- основания математики (2)
- V-резолюции процедура (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)
- алгорифмы универсальные (1)
- алгорифмы, теоремы невозможности (1)
- алканы (1)
- анализ программ (1)
- арифметизация математики, метод (1)
- арифметика ограниченная (1)
- арифметика, исследования (1)
- арифметические устройства (1)
- Show more
- Show less
-
Collections