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

Математическая логика и основания математики

Author(s)

Bibliographic Information

Available at 1 libraries

Search this Book/Journal

Related Books： 1-20 of 27

Details

Export