著者
書誌事項
Математическая логика и основания математики
"Физико-математическая лит-ры"
- タイトル読み
-
Matematicheskai︠a︡ logika i osnovanii︠a︡ matematiki
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
関連文献： 27件中 1-20を表示
- 1
- 2
- 1 / 2
-
1
- Десятая проблема Гильберта
-
Ю.В. Матиясевич
"Физико-математическая лит-ра" 1993 Математическая логика и основания математики вып. 26
所蔵館2館
-
2
- Теория алгорифмов
-
А.А. Марков, Н.М. Нагорный
"Наука", Глав. ред. физико-математической лит-ры 1984 Математическая логика и основания математики
所蔵館4館
-
3
- Математическая логика и автоматическое доказательство теорем
-
Ч. Чень, Р. Ли ; перевод с английского Г.В. Давыдова, Г.Е. Минца и А.В. Сочилиной ; под редакцией С.Ю. Маслова
"Наука," Глав. ред. физико-математической лит-ры 1983 Математическая логика и основания математики
所蔵館5館
-
4
- Основания математики : логические исчисления и формализация арифметики
-
Д. Гильберт, П. Бернайс ; перевод с немецского Н.М. Нагорного ; под ред. С.И. Адяна
"Наука", Главная редакция физико-математической лит-ры 1982 Изд. 2-е Математическая логика и основания математики
所蔵館2館
-
5
- Основания математики : теория доказательств
-
Д. Гильберт, П. Бернайс ; перевод с немецкого Н.М. Нагорного ; под ред. С.И. Адяна
Наука 1982 Математическая логика и основания математики
所蔵館2館
-
6
- Теория формальных систем
-
Р. Смальян ; перевод с английского, Н.К. Косовского ; под ред. Н.А. Шанина
"Наука," Глав. ред. физико-математической лит-ры 1981 Математическая логика и основания математики
所蔵館1館
-
7
- Проблемы разрешимости и конструктивные модели
-
Ю.Л. Ершов
"Наука," Глав. ред. физико-математической лит-ры 1980 Математическая логика и основания математики
所蔵館7館
-
8
- Основания математики : логические исчисления и формализация арифметики
-
Д. Гильберт, П. Бернайс ; перевод с немецского Н.М. Нагорного ; под ред. С.И. Адяна
"Наука", Главная редакция физико-математической лит-ры 1979 Математическая логика и основания математики
所蔵館3館
-
9
- Математический интуиционизм ; введение в теорию доказательств
-
А.Г. Драгалин
"Наука," Глав. ред. физико-математической лит-ры 1979 Математическая логика и основания математики
所蔵館3館
-
10
- Основания интуиционистской математики с точки зрения теории рекурсивных функций
-
С. Клини, Р. Весли ; перевод с английского Ф.А. Кабакова и Б.А. Кушнера
Изд-во "Наука", Грав. ред. физико-математической лит-ры 1978 Математическая логика и основания математики
所蔵館2館
-
11
- Степени неразрешимости
-
Дж. Шенфилд ; перевод с английского И.А. Лаврова ; под редакцией Ю.Л. Ершова
Изд-во "Наука", Главная редакция физико-математической лит-ры 1977 Математическая логика и основания математики
所蔵館1館
-
12
- Теория нумераций
-
Ю.Л. Ершов
Изд-во "Наука", Глав. ред. физико-математической лит-ры 1977 Математическая логика и основания математики
所蔵館5館
-
13
- Конструктивная математическая логика с точки зрения классической
-
П.С.Новиков
Изд-во " Наука", Глав. ред. физико математической лит-ры 1977 Математическая логика и основания математики
所蔵館14館
-
14
- Математическая логика
-
Дж. Шенфилд ; перевод с английского И.А. Лврова и И.А. Малыцева ; под редакцией Ю.Л. Ершова
"Наука," Глав. ред. физико-математической лит-ры 1976 Математическая логика и основания математики
所蔵館1館
-
15
- Математическая логика
-
Дж. Шенфилд ; перевод с английского И.А. Лаврова и И.А. Малыцева ; под ред. Ю.Л. Ершова
"Наука," Глав. ред. физико-математической лит-ры 1975 Математическая логика и основания математики
所蔵館1館
-
16
- Модальная логика
-
Р. Фейс ; перевод с дополнениями под редакцией Г.Е. Минца
Изд-во "Наука," Глав. ред. физико-математической лит-ры 1974 Математическая логика и основания математики
所蔵館5館
-
17
- Элементы математической логики
-
П.С. Новиков
Наука, Грав. ред. физико-математической лит-ры 1973 Изд. 2-е, испр Математическая логика и основания математики
所蔵館9館
-
18
- Лекции по конструктивному математическому анализу
-
Б.А. Кушнер
Гос. изд-во физико-математической лит-ры 1973 Математическая логика и основания математики
所蔵館10館
-
19
- Математика метаматематики
-
Е. Расева, Р. Сикорский ; перевод с английского B.A. Янкова
Изд-во " Наука", главная редакция Физико-математическая литературы 1972 Математическая логика и основания математики
所蔵館6館
-
20
- Конечные автоматы (поведение и синтез)
-
Б.А. Трахтенброт, Я.М. Барздинь
Изд-во "Наука", Глав. ред. физико-математической лит-ры 1970 Математическая логика и основания математики
所蔵館17館
- 1
- 2
- 1 / 2
