Поиск :
Личный кабинет :
Электронный каталог: Справочник индексов УДК
К списку индексов УДК
510.6
Сортировать по: заглавиюдате издания
На полку
Книга
Ч. 4: Теория доказательств и конструктивная математика
1983 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Ч. 4: Теория доказательств и конструктивная математика
1983 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Всесоюзный симпозиум по математической логике (Алма-Ата, 2-7 июня 1969 г.): Тезисы докладов
1969 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Всесоюзный симпозиум по математической логике (Алма-Ата, 2-7 июня 1969 г.): Тезисы докладов
1969 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Барздинь, Я. М.
Сложность и частотное решение некоторых алгоритмически неразрешимых массовых проблем: Автореферат диссертации на соискание ученой степени доктора физико-математических наук
1971 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Барздинь, Я. М.
Сложность и частотное решение некоторых алгоритмически неразрешимых массовых проблем: Автореферат диссертации на соискание ученой степени доктора физико-математических наук
1971 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Исследования по конструктивной математике и математической логике. IV: Сборник работ
Наука - Ленинградское отделение, 1971 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Исследования по конструктивной математике и математической логике. IV: Сборник работ
Наука - Ленинградское отделение, 1971 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Фрейдзон, Р. И.
Методические указания к практическим занятиям по теме "Математическая логика"
ЛЭТИ, 1977 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Фрейдзон, Р. И.
Методические указания к практическим занятиям по теме "Математическая логика"
ЛЭТИ, 1977 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Математическая логика. Каталог зарубежных книг библиотеки Академии Наук СССР 1950-1971 гг.
БАН, 1974 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Математическая логика. Каталог зарубежных книг библиотеки Академии Наук СССР 1950-1971 гг.
БАН, 1974 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Новиков, П. С.
Элементы математической логики
Физматгиз, 1959 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Новиков, П. С.
Элементы математической логики
Физматгиз, 1959 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Новиков, П. С.
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Новиков, П. С.
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Проблемы математической логики. Сложность алгоритмов и вычислимых функций: сборник переводов
Мир, 1970 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Проблемы математической логики. Сложность алгоритмов и вычислимых функций: сборник переводов
Мир, 1970 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Попов, А. И.
Введение в математическую логику
ЛГУ, 1959 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Попов, А. И.
Введение в математическую логику
ЛГУ, 1959 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Математическая логика, теория алгоритмов и теория множеств
Наука, 1973 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Математическая логика, теория алгоритмов и теория множеств
Наука, 1973 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Проблемы конструктивного направления в математике. 4: Сборник работ
Наука - Ленинградское отделение, 1967 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Проблемы конструктивного направления в математике. 4: Сборник работ
Наука - Ленинградское отделение, 1967 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
International Logic Review. N.12- Dicembre 1975
Rassegna Internazionale Di Logica
Centro Superiore di Logica e Scienze Comparate, 1975 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
International Logic Review. N.12- Dicembre 1975
Rassegna Internazionale Di Logica
Centro Superiore di Logica e Scienze Comparate, 1975 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Косовский, Н. К.
Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: учебное пособие
ЛГУ, 1981 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Косовский, Н. К.
Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов: учебное пособие
ЛГУ, 1981 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1975 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Лавров, И. А.
Задачи по теории множеств, математической логике и теории алгоритмов
Наука, 1975 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Гудстейн, Р. Л.
Математическая логика
Mathematical logic
Издательство иностранной литературы, 1961 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Гудстейн, Р. Л.
Математическая логика
Mathematical logic
Издательство иностранной литературы, 1961 г.
ISBN отсутствует
/ : 25-я линия В.О., 6