Jump to main content

yr 〜
yr

Search results 7

Mathematical intuitionism : introduction to proof theory / A.G. Dragalin. (Translations of mathematical monographs ; v. 67)

Mathematical intuitionism : introduction to proof theory / A.G. Dragalin. (Translations of mathematical monographs ; v. 67)
Paper図書
American Mathematical Societyc1988.<MA41-A30>
National Diet Library
  • Author HeadingDragalin, Al'bert Grigor'evich.

Mathematical intuitionism : introduction to proof theory

Mathematical intuitionism : introduction to proof theory
Paper図書
A.G. DragalinAmerican Mathematical Societyc1988
Other Libraries in Japan

Математическая логика : дополнительные главы

Математическая логика : дополнительные главы
Paper図書
А.Н. Колмогоров, А.Г. ДрагалинИзд-во Московского университета1984
Other Libraries in Japan

Элементы математической логики

Элементы математической логики
Paper図書
А.А. Марков ; под редакцией А.Г. ДрагалинаИзд-во Московского унив.1984
Other Libraries in Japan

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

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

Конструктивные множества и их приложения

Конструктивные множества и их приложения
Paper図書
А. Мостовский ; перевод с английского М.И. Кратко, Н.В. Белякина и М.К. Валиева ; под редакцией А.Г. Драгалина и А.Д. ТаймановаИзд-во "Мир"1973
Other Libraries in Japan

Теория непрерывных моделей

Теория непрерывных моделей
Paper図書
Г. Дж Кейслер, Чэн Чень-чунь ; перевод с английского Г.А. Бурле ; под редакцией А.Г. ДрагалинаИзд-во "МИР"1971
Other Libraries in Japan

Reached to the end of result.

RSS