Поиск :
Личный кабинет :
Электронный каталог: Справочник индексов УДК
К списку индексов УДК
510.6
Сортировать по: заглавиюдате издания
Многотомник
Справочная книга по математической логике: в 4-х частях
Handbook of mathematical logic
Наука, б.г.
ISBN отсутствует
Справочная книга по математической логике: в 4-х частях
Handbook of mathematical logic
Наука, б.г.
ISBN отсутствует
На полку 
Книга
Гильберт, Д.
Основы теоретической логики
Grundzuge der Theoretischen Logik
Издательство иностранной литературы, 1947 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Гильберт, Д.
Основы теоретической логики
Grundzuge der Theoretischen Logik
Издательство иностранной литературы, 1947 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Новиков, П. С.
Элементы математической логики
Физматгиз, 1959 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Новиков, П. С.
Элементы математической логики
Физматгиз, 1959 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Попов, А. И.
Введение в математическую логику
ЛГУ, 1959 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Попов, А. И.
Введение в математическую логику
ЛГУ, 1959 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Чёрч, А.
Введение в математическую логику . Т. 1
Издательство иностранной литературы, 1960 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Чёрч, А.
Введение в математическую логику . Т. 1
Издательство иностранной литературы, 1960 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Гудстейн, Р. Л.
Математическая логика
Mathematical logic
Издательство иностранной литературы, 1961 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Гудстейн, Р. Л.
Математическая логика
Mathematical logic
Издательство иностранной литературы, 1961 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Глушков, В. М.
Синтез цифровых автоматов
Физматгиз, 1962 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Глушков, В. М.
Синтез цифровых автоматов
Физматгиз, 1962 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Генкин, Л.
О математической индукции
On mathematical induction
ISBN отсутствует
/ : 25-я линия В.О., 6
Генкин, Л.
О математической индукции
On mathematical induction
Серия: Математическая библиотечка
Физматгиз, 1962 г.ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Математическая логика и основания математики: тезисы
Наука, 1966 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Математическая логика и основания математики: тезисы
Наука, 1966 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Исследования по конструктивной математике и математической логике. I: сборник работ
Вычислительный центр АН СССР, 1967 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Исследования по конструктивной математике и математической логике. I: сборник работ
Вычислительный центр АН СССР, 1967 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Лакатос, И.
Доказательства и опровержения: Как доказываются теоремы
Наука, 1967 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Лакатос, И.
Доказательства и опровержения: Как доказываются теоремы
Наука, 1967 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Проблемы конструктивного направления в математике. 4: Сборник работ
Наука - Ленинградское отделение, 1967 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Проблемы конструктивного направления в математике. 4: Сборник работ
Наука - Ленинградское отделение, 1967 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Линдон, Р.
Заметки по логике
Notes on logic
ISBN отсутствует
/ : 25-я линия В.О., 6
Линдон, Р.
Заметки по логике
Notes on logic
Серия: Современная математика
Мир, 1968 г.ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Карри, Х.
Основания математической логики
Foundations of mathematical logic
Мир, 1969 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Карри, Х.
Основания математической логики
Foundations of mathematical logic
Мир, 1969 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Всесоюзный симпозиум по математической логике (Алма-Ата, 2-7 июня 1969 г.): Тезисы докладов
1969 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Всесоюзный симпозиум по математической логике (Алма-Ата, 2-7 июня 1969 г.): Тезисы докладов
1969 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Серебрянников, О. Ф.
Эвристические принципы и логические исчисления
Наука, 1970 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Серебрянников, О. Ф.
Эвристические принципы и логические исчисления
Наука, 1970 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Проблемы математической логики. Сложность алгоритмов и вычислимых функций: сборник переводов
Мир, 1970 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Проблемы математической логики. Сложность алгоритмов и вычислимых функций: сборник переводов
Мир, 1970 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Мендельсон, Э.
Введение в математическую логику
Introduction to mathematical logic
Наука, 1971 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Мендельсон, Э.
Введение в математическую логику
Introduction to mathematical logic
Наука, 1971 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Барздинь, Я. М.
Сложность и частотное решение некоторых алгоритмически неразрешимых массовых проблем: Автореферат диссертации на соискание ученой степени доктора физико-математических наук
1971 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Барздинь, Я. М.
Сложность и частотное решение некоторых алгоритмически неразрешимых массовых проблем: Автореферат диссертации на соискание ученой степени доктора физико-математических наук
1971 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Книга
Исследования по конструктивной математике и математической логике. IV: Сборник работ
Наука - Ленинградское отделение, 1971 г.
ISBN отсутствует
/ : 25-я линия В.О., 6
Исследования по конструктивной математике и математической логике. IV: Сборник работ
Наука - Ленинградское отделение, 1971 г.
ISBN отсутствует
/ : 25-я линия В.О., 6