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