Author(s)
Bibliographic Information
Математическая логика и основания математики
"Физико-математическая лит-ры"
- Title Transcription
-
Matematicheskai︠a︡ logika i osnovanii︠a︡ matematiki
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Related Books： 1-20 of 27
- 1
- 2
- 1 / 2
-
1
- Десятая проблема Гильберта
-
Ю.В. Матиясевич
"Физико-математическая лит-ра" 1993 Математическая логика и основания математики вып. 26
Available at 2 libraries
-
2
- Теория алгорифмов
-
А.А. Марков, Н.М. Нагорный
"Наука", Глав. ред. физико-математической лит-ры 1984 Математическая логика и основания математики
Available at 4 libraries
-
3
- Математическая логика и автоматическое доказательство теорем
-
Ч. Чень, Р. Ли ; перевод с английского Г.В. Давыдова, Г.Е. Минца и А.В. Сочилиной ; под редакцией С.Ю. Маслова
"Наука," Глав. ред. физико-математической лит-ры 1983 Математическая логика и основания математики
Available at 5 libraries
-
4
- Основания математики : логические исчисления и формализация арифметики
-
Д. Гильберт, П. Бернайс ; перевод с немецского Н.М. Нагорного ; под ред. С.И. Адяна
"Наука", Главная редакция физико-математической лит-ры 1982 Изд. 2-е Математическая логика и основания математики
Available at 2 libraries
-
5
- Основания математики : теория доказательств
-
Д. Гильберт, П. Бернайс ; перевод с немецкого Н.М. Нагорного ; под ред. С.И. Адяна
Наука 1982 Математическая логика и основания математики
Available at 2 libraries
-
6
- Теория формальных систем
-
Р. Смальян ; перевод с английского, Н.К. Косовского ; под ред. Н.А. Шанина
"Наука," Глав. ред. физико-математической лит-ры 1981 Математическая логика и основания математики
Available at 1 libraries
-
7
- Проблемы разрешимости и конструктивные модели
-
Ю.Л. Ершов
"Наука," Глав. ред. физико-математической лит-ры 1980 Математическая логика и основания математики
Available at 7 libraries
-
8
- Основания математики : логические исчисления и формализация арифметики
-
Д. Гильберт, П. Бернайс ; перевод с немецского Н.М. Нагорного ; под ред. С.И. Адяна
"Наука", Главная редакция физико-математической лит-ры 1979 Математическая логика и основания математики
Available at 3 libraries
-
9
- Математический интуиционизм ; введение в теорию доказательств
-
А.Г. Драгалин
"Наука," Глав. ред. физико-математической лит-ры 1979 Математическая логика и основания математики
Available at 3 libraries
-
10
- Основания интуиционистской математики с точки зрения теории рекурсивных функций
-
С. Клини, Р. Весли ; перевод с английского Ф.А. Кабакова и Б.А. Кушнера
Изд-во "Наука", Грав. ред. физико-математической лит-ры 1978 Математическая логика и основания математики
Available at 2 libraries
-
11
- Степени неразрешимости
-
Дж. Шенфилд ; перевод с английского И.А. Лаврова ; под редакцией Ю.Л. Ершова
Изд-во "Наука", Главная редакция физико-математической лит-ры 1977 Математическая логика и основания математики
Available at 1 libraries
-
12
- Теория нумераций
-
Ю.Л. Ершов
Изд-во "Наука", Глав. ред. физико-математической лит-ры 1977 Математическая логика и основания математики
Available at 5 libraries
-
13
- Конструктивная математическая логика с точки зрения классической
-
П.С.Новиков
Изд-во " Наука", Глав. ред. физико математической лит-ры 1977 Математическая логика и основания математики
Available at 14 libraries
-
14
- Математическая логика
-
Дж. Шенфилд ; перевод с английского И.А. Лврова и И.А. Малыцева ; под редакцией Ю.Л. Ершова
"Наука," Глав. ред. физико-математической лит-ры 1976 Математическая логика и основания математики
Available at 1 libraries
-
15
- Математическая логика
-
Дж. Шенфилд ; перевод с английского И.А. Лаврова и И.А. Малыцева ; под ред. Ю.Л. Ершова
"Наука," Глав. ред. физико-математической лит-ры 1975 Математическая логика и основания математики
Available at 1 libraries
-
16
- Модальная логика
-
Р. Фейс ; перевод с дополнениями под редакцией Г.Е. Минца
Изд-во "Наука," Глав. ред. физико-математической лит-ры 1974 Математическая логика и основания математики
Available at 5 libraries
-
17
- Элементы математической логики
-
П.С. Новиков
Наука, Грав. ред. физико-математической лит-ры 1973 Изд. 2-е, испр Математическая логика и основания математики
Available at 9 libraries
-
18
- Лекции по конструктивному математическому анализу
-
Б.А. Кушнер
Гос. изд-во физико-математической лит-ры 1973 Математическая логика и основания математики
Available at 10 libraries
-
19
- Математика метаматематики
-
Е. Расева, Р. Сикорский ; перевод с английского B.A. Янкова
Изд-во " Наука", главная редакция Физико-математическая литературы 1972 Математическая логика и основания математики
Available at 6 libraries
-
20
- Конечные автоматы (поведение и синтез)
-
Б.А. Трахтенброт, Я.М. Барздинь
Изд-во "Наука", Глав. ред. физико-математической лит-ры 1970 Математическая логика и основания математики
Available at 17 libraries
- 1
- 2
- 1 / 2