Jump to main content
NDL SEARCH (NATIONAL DIET LIBRARY, JAPAN)
Open Menu
Search
Refiners
Refiners
Library
Close field
National Diet Library
Other Libraries in Japan
Available online
Title
Close field
Author/Editor
Close field
Publisher
Close field
Year
Close field
yr
〜
yr
Open
1950s
(1)
1960s
(5)
1970s
(15)
1980s
(6)
1990s
(1)
ISBN / ISSN
Close field
Call number
Close field
Material type
Link to Help Page
Close field
Books
（29）
Periodicals
Newspapers
Japanese and Chinese Old Materials
Doctoral Dissertations
Maps
Musical Scores
Web sites
Online Publications
Electronic Resources
Video Materials
Audio Materials
Standards and Technical Reports
Manuscripts and Images
Deselect all
Periodical article etc
Material Format
Link to Help Page
Close field
Digital
Paper
（29）
Microform
Recording Media
Deselect all
Refiners
Refiners
Search results 29
20 results per page
50 results per page
100 results per page
List
Thumbnails
Table
Relevance
Published (old first)
Published (new first)
Title (ascend)
Title (descend)
Author (ascend)
Author (descend)
Call number
Group by title
Add all to My List
Ė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
Теория алгорифмов
Теория алгорифмов
Paper
図書
А.А. Марков, Н.М. Нагорный
"Наука", Глав. ред. физико-математической лит-ры
1984
Other Libraries in Japan
Основания математики : теория доказательств
Основания математики : теория доказательств
Paper
図書
Д. Гильберт, П. Бернайс ; перевод с немецкого Н.М. Нагорного ; под ред. С.И. Адяна
Наука
1982
Other Libraries in Japan
Основания математики : логические исчисления и формализация арифметики Изд. 2-е
Основания математики : логические исчисления и формализация арифметики Изд. 2-е
Paper
図書
Д. Гильберт, П. Бернайс ; перевод с немецского Н.М. Нагорного ; под ред. С.И. Адяна
"Наука", Главная редакция физико-математической лит-ры
1982
Other Libraries in Japan
Проблемы разрешимости и конструктивные модели
Проблемы разрешимости и конструктивные модели
Paper
図書
Ю.Л. Ершов
"Наука," Глав. ред. физико-математической лит-ры
1980
Other Libraries in Japan
Математическая логика и автоматическое доказательство теорем
Математическая логика и автоматическое доказательство теорем
Paper
図書
Ч. Чень, Р. Ли ; перевод с английского Г.В. Давыдова, Г.Е. Минца и А.В. Сочилиной ; под редакцией С.Ю. Маслова
"Наука," Глав. ред. физико-математической лит-ры
1983
Other Libraries in Japan
Теория формальных систем
Теория формальных систем
Paper
図書
Р. Смальян ; перевод с английского, Н.К. Косовского ; под ред. Н.А. Шанина
"Наука," Глав. ред. физико-математической лит-ры
1981
Other Libraries in Japan
Основания математики : логические исчисления и формализация арифметики
Основания математики : логические исчисления и формализация арифметики
Paper
図書
Д. Гильберт, П. Бернайс ; перевод с немецского Н.М. Нагорного ; под ред. С.И. Адяна
"Наука", Главная редакция физико-математической лит-ры
1979
Other Libraries in Japan
Теория нумераций
Теория нумераций
Paper
図書
Ю.Л. Ершов
Изд-во "Наука", Глав. ред. физико-математической лит-ры
1977
Other Libraries in Japan
Математический интуиционизм ; введение в теорию доказательств
Математический интуиционизм ; введение в теорию доказательств
Paper
図書
А.Г. Драгалин
"Наука," Глав. ред. физико-математической лит-ры
1979
Other Libraries in Japan
Степени неразрешимости
Степени неразрешимости
Paper
図書
Дж. Шенфилд ; перевод с английского И.А. Лаврова ; под редакцией Ю.Л. Ершова
Изд-во "Наука", Главная редакция физико-математической лит-ры
1977
Other Libraries in Japan
Математическая логика
Математическая логика
Paper
図書
Дж. Шенфилд ; перевод с английского И.А. Лврова и И.А. Малыцева ; под редакцией Ю.Л. Ершова
"Наука," Глав. ред. физико-математической лит-ры
1976
Other Libraries in Japan
Математическая логика
Математическая логика
Paper
図書
Дж. Шенфилд ; перевод с английского И.А. Лаврова и И.А. Малыцева ; под ред. Ю.Л. Ершова
"Наука," Глав. ред. физико-математической лит-ры
1975
Other Libraries in Japan
Конструктивная математическая логика с точки зрения классической
Конструктивная математическая логика с точки зрения классической
Paper
図書
П.С.Новиков
Изд-во " Наука", Глав. ред. физико математической лит-ры
1977
Other Libraries in Japan
Модальная логика
Модальная логика
Paper
図書
Р. Фейс ; перевод с дополнениями под редакцией Г.Е. Минца
Изд-во "Наука," Глав. ред. физико-математической лит-ры
1974
Other Libraries in Japan
Математика метаматематики
Математика метаматематики
Paper
図書
Е. Расева, Р. Сикорский ; перевод с английского B.A. Янкова
Изд-во " Наука", главная редакция Физико-математическая литературы
1972
Other Libraries in Japan
Элементы математической логики Изд. 2-е, испр
Элементы математической логики Изд. 2-е, испр
Paper
図書
П.С. Новиков
Наука, Грав. ред. физико-математической лит-ры
1973
Other Libraries in Japan
Основания интуиционистской математики с точки зрения теории рекурсивных функций
Основания интуиционистской математики с точки зрения теории рекурсивных функций
Paper
図書
С. Клини, Р. Весли ; перевод с английского Ф.А. Кабакова и Б.А. Кушнера
Изд-во "Наука", Грав. ред. физико-математической лит-ры
1978
Other Libraries in Japan
Лекции по конструктивному математическому анализу
Лекции по конструктивному математическому анализу
Paper
図書
Б.А. Кушнер
Гос. изд-во физико-математической лит-ры
1973
Other Libraries in Japan
Show more (21-)
Bulk download of bibliographic information
RSS