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

著者

• Davydov, G. V.
• Mint︠s︡, G. E.
• Orevkov, V. P.

書誌事項

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

перевод c английского, Г.В. Давыдова, Г.Е. Минца ; под редакцией, В.П. Оревкова

（Справочная книга по математической логике / под редакцией Дж. Барваиса, часть 4）

"Наука", Главная ред. физико-математической лит-рат, 1983

タイトル別名

Teorii︠a︡ dokazatelʹstv i konstruktivnai︠a︡ matematika

注記

Originally publised in English in 1977

Originally issued in series: Handbook of mathematical logic

Includes bibliographies and index

詳細情報

• NII書誌ID(NCID): BA55814922
• 出版国コード: ru
• タイトル言語コード: rus
• 本文言語コード: rus
• 出版地: Москва
• ページ数/冊数: 391 p.
• 大きさ: 23 cm
• 親書誌ID:
  • BA39629216