Jump to main content

yr 〜
yr

Search results 29

Ėlementy matematicheskoǐ logiki. P. S. Novikov. Izd. 2-e, ispr. (Matematicheskai͡a logika i osnovanii͡a matematiki)

Ėlementy matematicheskoǐ logiki. P. S. Novikov. Izd. 2-e, ispr. (Matematicheskai͡a logika i osnovanii͡a matematiki)
Paper図書
"Nauka, "1973.<MA41-80>
National Diet Library

Десятая проблема Гильберта

Десятая проблема Гильберта
Paper図書
Ю.В. Матиясевич"Физико-математическая лит-ра"1993
Other Libraries in Japan
  • Related MaterialМатематическая логика и основания математики
  • Periodical TitleМатематическая логика и основания математики

Теория алгорифмов

Теория алгорифмов
Paper図書
А.А. Марков, Н.М. Нагорный"Наука", Глав. ред. физико-математической лит-ры1984
Other Libraries in Japan
  • Related MaterialМатематическая логика и основания математики
  • Periodical TitleМатематическая логика и основания математики

Основания математики : теория доказательств

Основания математики : теория доказательств
Paper図書
Д. Гильберт, П. Бернайс ; перевод с немецкого Н.М. Нагорного ; под ред. С.И. АдянаНаука1982
Other Libraries in Japan
  • Related MaterialМатематическая логика и основания математики
  • Periodical TitleМатематическая логика и основания математики

Основания математики : логические исчисления и формализация арифметики Изд. 2-е

Основания математики : логические исчисления и формализация арифметики Изд. 2-е
Paper図書
Д. Гильберт, П. Бернайс ; перевод с немецского Н.М. Нагорного ; под ред. С.И. Адяна"Наука", Главная редакция физико-математической лит-ры1982
Other Libraries in Japan
  • Related MaterialМатематическая логика и основания математики
  • Periodical TitleМатематическая логика и основания математики

Проблемы разрешимости и конструктивные модели

Проблемы разрешимости и конструктивные модели
Paper図書
Ю.Л. Ершов"Наука," Глав. ред. физико-математической лит-ры1980
Other Libraries in Japan
  • Related MaterialМатематическая логика и основания математики
  • Periodical TitleМатематическая логика и основания математики

Математическая логика и автоматическое доказательство теорем

Математическая логика и автоматическое доказательство теорем
Paper図書
Ч. Чень, Р. Ли ; перевод с английского Г.В. Давыдова, Г.Е. Минца и А.В. Сочилиной ; под редакцией С.Ю. Маслова"Наука," Глав. ред. физико-математической лит-ры1983
Other Libraries in Japan
  • Related MaterialМатематическая логика и основания математики
  • Periodical TitleМатематическая логика и основания математики

Теория формальных систем

Теория формальных систем
Paper図書
Р. Смальян ; перевод с английского, Н.К. Косовского ; под ред. Н.А. Шанина"Наука," Глав. ред. физико-математической лит-ры1981
Other Libraries in Japan
  • Related MaterialМатематическая логика и основания математики
  • Periodical TitleМатематическая логика и основания математики

Основания математики : логические исчисления и формализация арифметики

Основания математики : логические исчисления и формализация арифметики
Paper図書
Д. Гильберт, П. Бернайс ; перевод с немецского Н.М. Нагорного ; под ред. С.И. Адяна"Наука", Главная редакция физико-математической лит-ры1979
Other Libraries in Japan
  • Related MaterialМатематическая логика и основания математики
  • Periodical TitleМатематическая логика и основания математики

Теория нумераций

Теория нумераций
Paper図書
Ю.Л. ЕршовИзд-во "Наука", Глав. ред. физико-математической лит-ры1977
Other Libraries in Japan
  • Related MaterialМатематическая логика и основания математики
  • Periodical TitleМатематическая логика и основания математики

Математический интуиционизм ; введение в теорию доказательств

Математический интуиционизм ; введение в теорию доказательств
Paper図書
А.Г. Драгалин"Наука," Глав. ред. физико-математической лит-ры1979
Other Libraries in Japan
  • Related MaterialМатематическая логика и основания математики
  • Periodical TitleМатематическая логика и основания математики

Степени неразрешимости

Степени неразрешимости
Paper図書
Дж. Шенфилд ; перевод с английского И.А. Лаврова ; под редакцией Ю.Л. ЕршоваИзд-во "Наука", Главная редакция физико-математической лит-ры1977
Other Libraries in Japan
  • Related MaterialМатематическая логика и основания математики
  • Periodical TitleМатематическая логика и основания математики

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

Математическая логика
Paper図書
Дж. Шенфилд ; перевод с английского И.А. Лврова и И.А. Малыцева ; под редакцией Ю.Л. Ершова"Наука," Глав. ред. физико-математической лит-ры1976
Other Libraries in Japan
  • Related MaterialМатематическая логика и основания математики
  • Periodical TitleМатематическая логика и основания математики

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

Математическая логика
Paper図書
Дж. Шенфилд ; перевод с английского И.А. Лаврова и И.А. Малыцева ; под ред. Ю.Л. Ершова"Наука," Глав. ред. физико-математической лит-ры1975
Other Libraries in Japan
  • Related MaterialМатематическая логика и основания математики
  • Periodical TitleМатематическая логика и основания математики

Конструктивная математическая логика с точки зрения классической

Конструктивная математическая логика с точки зрения классической
Paper図書
П.С.НовиковИзд-во " Наука", Глав. ред. физико математической лит-ры1977
Other Libraries in Japan
  • Related MaterialМатематическая логика и основания математики
  • Periodical TitleМатематическая логика и основания математики

Модальная логика

Модальная логика
Paper図書
Р. Фейс ; перевод с дополнениями под редакцией Г.Е. МинцаИзд-во "Наука," Глав. ред. физико-математической лит-ры1974
Other Libraries in Japan
  • Related MaterialМатематическая логика и основания математики
  • Periodical TitleМатематическая логика и основания математики

Математика метаматематики

Математика метаматематики
Paper図書
Е. Расева, Р. Сикорский ; перевод с английского B.A. ЯнковаИзд-во " Наука", главная редакция Физико-математическая литературы1972
Other Libraries in Japan
  • Related MaterialМатематическая логика и основания математики
  • Periodical TitleМатематическая логика и основания математики

Элементы математической логики Изд. 2-е, испр

Элементы математической логики Изд. 2-е, испр
Paper図書
П.С. НовиковНаука, Грав. ред. физико-математической лит-ры1973
Other Libraries in Japan
  • Related MaterialМатематическая логика и основания математики
  • Periodical TitleМатематическая логика и основания математики

Основания интуиционистской математики с точки зрения теории рекурсивных функций

Основания интуиционистской математики с точки зрения теории рекурсивных функций
Paper図書
С. Клини, Р. Весли ; перевод с английского Ф.А. Кабакова и Б.А. КушнераИзд-во "Наука", Грав. ред. физико-математической лит-ры1978
Other Libraries in Japan
  • Related MaterialМатематическая логика и основания математики
  • Periodical TitleМатематическая логика и основания математики

Лекции по конструктивному математическому анализу

Лекции по конструктивному математическому анализу
Paper図書
Б.А. КушнерГос. изд-во физико-математической лит-ры1973
Other Libraries in Japan
  • Related MaterialМатематическая логика и основания математики
  • Periodical TitleМатематическая логика и основания математики
RSS