Refine your search
Availability
-
Authors
- Аккерман, В. (1)
- Алексеев, Владимир Евгеньевич (1)
- Антипенко, Леонид Григорьевич (1)
- Арсланов, М.М. (1)
- Ашихмин, Валерий Николаевич (1)
- Барендрегт, Хендрик Питер (1)
- Белякова, К.А. (1)
- Борковский, Л. (1)
- Ваганян, Виктор Оганесович (1)
- Верещагин, Николай Константинович (1)
- Войшвилло, Евгений Казимирович (2)
- Волгин, Леонид Иванович (1)
- Всесоюзная конференция по математической логике (2)
- Всесоюзная конференция по прикладной логике (1)
- Гаврилов, Гарий Петрович (1)
- Гастев, Ю.А. (2)
- Гильберт, Д. (1)
- Гладкий, Алексей Всеволодович (1)
- Головешкин, Василий Адамович (1)
- Горбатов, В.А. (2)
- Горбатов, Вячеслав Афанасьевич (1)
- Горчаков, Юрий Михайлович (1)
- Градштейн, И.С. (1)
- Грибомон, Паскаль (1)
- Грэй, Питер (1)
- Гудстейн, Р.Л. (1)
- Гудстейн, Рейбен Луис (1)
- Давыдов, Г.В. (1)
- Джиджян, Роберт Залибекович (1)
- Донченко, В.В. (1)
- Драгалин, А.Г. (1)
- Драгалин, Альберт Григорьевич (2)
- Дьяконов, Владимир Павлович (1)
- Ерофеев, А.А. (1)
- Ершов, Андрей Петрович (1)
- Ершов, Ю.Л. (1)
- Ершов, Юрий Леонидович (3)
- Ефремов, Георгий Осипович (1)
- Заславский, Игорь Дмитриевич (1)
- Иванов, Борис Николаевич (1)
- Иванова, Александра Петровна (1)
- Кабаков, А.Ф. (1)
- Кабаков, Ф.А. (2)
- Казарин, Л.С. (1)
- Канович, Макс Иосифович (1)
- Карамян, Г. Б. (1)
- Карпов, Виктор Григорьевич (1)
- Карри, Хаскелл Б. (1)
- Килов, Х.И. (1)
- Китте, Клод (1)
- Ковалев, А.А. (1)
- Кокс, Дэвид (1)
- Колмогоров, Андрей Николаевич (2)
- Кормен, Томас (1)
- Кочеткова, Ю.Ю. (1)
- Кузичев, А.С. (1)
- Кулешов, С.А. (1)
- Кусраев, Анатолий Георгиевич (1)
- Кутателадзе, Семен Самсонович (1)
- Лавров, И.А. (1)
- Лавров, Игорь Андреевич (3)
- Латотин, Леонид Александрович (1)
- Левин, В.И. (1)
- Левин, Виктор Иосифович (1)
- Левин, Виталий Ильич (1)
- Лейзерсон, Чарльз (1)
- Ли, Р. (1)
- Лисовик, Леонид Петрович (1)
- Литтл, Джон (1)
- Лифшиц, И. А. (1)
- Лихтарников, Леонид Моисеевич (1)
- Луи, Жорж (1)
- Лю, Баодин (1)
- Магнарадзе, Л.Г. (1)
- Макаренков, Юрий Алексеевич (1)
- Макоха, Анатолий Николаевич (1)
- Максимова, Лариса Львовна (3)
- Мальцев, Анатолий Иванович (2)
- Мальцев, И.А. (1)
- Марков, А.А. (2)
- Марков, Андрей Андреевич (1)
- Марченков, Сергей Серафимович (1)
- Маслов, С.Ю. (1)
- Маслов, Сергей Юрьевич (1)
- Матрос, Дмитрий Шаевич (1)
- Мендельсон, Эллиот (2)
- Минц, Г. Е. (1)
- Минц, Г.Е. (4)
- Михайлов, Александр Иванович (1)
- Москинова, Галина Ивановна (1)
- Мощенский, Владимир Андреевич (2)
- Нагель, Э. (1)
- Нагорный, Николай Макарович (1)
- Николаева, Валентина Владимировна (1)
- Никольская, Инна Львовна (1)
- Новиков, Петр Сергеевич (3)
- Новиков, Федор Алексеевич (1)
- Ноден, Патрис (1)
- О'Ши, Донал (1)
- Овчинникова, Елена Викторовна (1)
- Орловский, Г.В. (1)
- Палютин, Евгений Андреевич (3)
- Папернов, Абрам Александрович (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)
- Столяр, Абрам Аронович (2)
- Стяжкин, Николай Иванович (1)
- Судоплатов, Сергей Владимирович (1)
- Тайманов, А.Д. (1)
- Тайцлин, Михаил Абрамович (1)
- Таланов, Владимир Александрович (1)
- Тарский, А. (1)
- Тейз, Андре (1)
- Тюменцев, Ю.В. (1)
- Ульянов, Михаил Васильевич (1)
- Успенский, В.А. (1)
- Успенский, Владимир Андреевич (3)
- Хаггарти, Род (1)
- Харапинский, Я.Л. (1)
- Харин, Н.Н. (1)
- Хомич, В.И. (1)
- Целищев, Виталий Валентинович (1)
- Цирулис, Ян Петрович (1)
- Циткина, Фаина Анатольевна (1)
- Чень, Ч. (1)
- Чернявский, В.С. (3)
- Черч, А. (1)
- Шанин, Н.А. (1)
- Шапиро, Самуил Иосифович (1)
- Шенфилд, Джозеф (1)
- Шиханович, Ю.А. (1)
- Шмаин, И.Х. (1)
- Щегольков, Е.А. (1)
- Яглом, И.М. (1)
- Яновская, С.А. (3)
- Ադյան, Սերգեյ Իվանի (2)
- Առաքելյան, Հրանտ Բաբկենի (1)
- Show more
- Show less
-
Item types
- Գրքեր/Books (108)
-
Series
- Адаптивные и интеллектуальные системы (1)
- Б-чка сборника "Математика" (1)
- Библиотека еженедельника PC Week/RE (1)
- Библиотека сборника "Математика" (1)
- Библиотечка программиста (1)
- Высшее образование / М-во образования и науки Рос. Федерации, Новосиб. гос. техн. ун-т (1)
- Кибернетика (3)
- Классические учебники: Computer science (1)
- Математика. Прикладная математика (2)
- Математическая логика и основания математики (6)
- Математическое просвещение (1)
- Новая университетская библиотека (1)
- Новое в жизни, науке, технике. 9 серия. Физика и химия (1)
- Основы информационных технологий (1)
- Педагогическое образование (1)
- Популярные лекции по математике (1)
- Теория и методы системного анализа (1)
- Технический университет (1)
- Учебник для XXI века (1)
- Учебник для вузов (1)
- Show more
- Show less
-
Topics
- Автоматов теория - Математическая логика - Сборники (1)
- Алгебра (1)
- Алгебра высшая (1)
- Алгебраическая геометрия (1)
- Алгебраические многообразия - Применение ЭВМ (1)
- Алгоритм (1)
- Алгоритмы (3)
- Алгоритмы - Синтез - Сборники (1)
- Арифметика (1)
- Булевозначный анализ (1)
- Высшая алгебра - Кольца и алгебры (1)
- Высшая алгебра - Учебник для высшей школы (1)
- Вычисления на вычислительных машинах - Справочники (1)
- Графов теория (1)
- Диалектическая логика (1)
- Дискретная математика (3)
- Задачники для высшей школы (1)
- Импликация (1)
- Импликация (лог.) (1)
- Информатика (2)
- Информационное обеспечение - Учебник для высшей заочной школы (1)
- Искусственный интеллект (1)
- Исследование операций (1)
- Исчислений теория (1)
- Кибернетика (3)
- Кибернетика - Математические основы (1)
- Коммутативные алгебры - Применение ЭВМ - Пособие для специалистов (1)
- Компьютерная алгебра - Справочники (1)
- Линейное программирование - Учебное пособие для высшей школы (1)
- Логика - Сборники (1)
- Логика математическая (1)
- Логика формальная - Математические методы (1)
- Логическая теория (1)
- Логические задачи (1)
- Логические исчисления (1)
- Логическое программирование (2)
- Математика (15)
- Математика - Логические основы (1)
- Математика аксиоматическая числовая (1)
- Математика с параметром времени (1)
- Математическая лингвистикаорники (1)
- Математическая логика (85)
- Математическая логика - Библиография зарубежных книг (1)
- Математическая логика - Дискретная математика - Задачник для высшей школы (1)
- Математическая логика - Пособия заочные (1)
- Математическая логика - Развитие (1)
- Математическая логика - Сборники (3)
- Математическая логика - Тезисы докладов (1)
- Математическая логика - Теория алгоритмов, рекурсивные функции - Пособие для специалистов (1)
- Математическая логика - Теория моделей (1)
- Математическая логика - Терминология (1)
- Математическая логика - Учебник для высшей школы (3)
- Математическая логика - Учебники и пособия (2)
- Математическая логика - Философские проблемы (1)
- Математическая логика -- Теория алгоритмов -- Применение ЭВМ (1)
- Математические машины и приборы (1)
- Математические теории (1)
- Математический анализ (1)
- Математическое программирование (1)
- Материалистическая диалектика (1)
- Машины Тьюринга (1)
- Методология (1)
- Множеств теория (2)
- Множеств теория - Сборники (1)
- Нестандартный анализ - Учебник для высшей школы (1)
- Основания математики (5)
- Основания математики - Математическая логика (1)
- Открытия (1)
- Перевод - Теория и методика (1)
- Пособие для специалистов (1)
- Применение ЭВМ (1)
- Промышленные предприятия - Управление - Математические методы - Тезисы докладов (1)
- Радиоэлектроника (1)
- Рекурсивные функции (1)
- Сборник (1)
- Сборники (2)
- Символического кодирования языки - Справочники (1)
- Сложные системы - Исследование - Логические основы (1)
- Сложные системы - Исследование - Математические методы (1)
- Справочник (1)
- Справочники - Символического кодирования языки (1)
- Счетные машины и приборы, вычислительные - Пособия заочные (1)
- Теоремы - Доказательство (1)
- Теория (1)
- Теория ЛМФ - единство логики, математики и фундаментальной физики (1)
- Теория автоматов - Применение вычислительных машин (1)
- Теория алгоритмов (3)
- Теория алгоритмов - Пособие для специалистов (1)
- Теория алгоритмов - Применение ЭВМ - Учебник для высшей заочной школы (1)
- Теория алгоритмов - Применение ЭВМ - Учебник для высшей школы (1)
- Теория алгоритмов, рекурсивные функции - Учебник для высшей школы (2)
- Теория вероятностей (2)
- Теория вероятностей и математическая статистика - Исследование операций (1)
- Теория множеств (2)
- Теория множеств - Задачник для высшей школы (1)
- Теория релейных и релейно-контактных схем - Применение вычислительных машин (1)
- Теория функций действительного переменного (1)
- Трансдьюсеры (1)
- Учебник для высшей школы (2)
- Физика фундаментальная (1)
- Физико-математические науки (8)
- Физическая теория (1)
- Философское основание (1)
- Формальные языки (1)
- Функции (мат.) рекурсивные (1)
- Функции (матем.) - Конструктивная теория - Алгоритмы - Математическая логика (1)
- математическая логика (1)
- символьная математика (1)
- Show more
- Show less
-
Collections
- 1RH (1)
- General (54)
- General (48)
- Jahukyan Individual Collection (10)
-
Languages
- (7)
- Russian (101)