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