Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman. (Lecture notes in mathematics ; 873)

Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman.

(Lecture notes in mathematics ; 873)

国立国会図書館請求記号: MA41-199
国立国会図書館書誌ID: 000006312033

資料種別: 図書

著者: Richman, Fred, 1938-

出版者: Springer-Verlag

出版年: 1981.

資料形態: 紙

ページ数・大きさ等: vi, 347 p. ; 25 cm.

NDC: -

すべて見る

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別: 図書
ISBN: 0387108505 (pbk. : New York)
タイトル: Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman.
シリーズタイトル: Lecture notes in mathematics ; 873
タイトル標目: Lecture notes in mathematics (Springer-Verlag) ; 873.
著者標目: Richman, Fred, 1938-
出版事項: Berlin : Springer-Verlag
New York : Springer-Verlag
出版年月日等: 1981.
出版年（W3CDTF）: 1981
数量: vi, 347 p. ; 25 cm.
出版地（国名コード）: DE
本文の言語コード: eng
件名標目: Constructive mathematics -- Congresses.
Intuitionistic mathematics -- Congresses.
LCC: QA3
QA9.56
DDC: 510 s
511.3
NDLC: MA41
書誌注記: Includes bibliographical references and index.
所蔵機関: 国立国会図書館
請求記号: MA41-199
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000006312033
http://id.ndl.go.jp/bib/000006312033
LC control number: 81009345 //r87
https://lccn.loc.gov/81009345
整理区分コード: 211