このページのリンク

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)

データ種別 図書
出版者 Berlin ; New York : Springer-Verlag
出版年 1981
本文言語 英語
大きさ vi, 347 p. ; 25 cm

所蔵情報を非表示

積層4層 : Berlin 410.8||L||873 9852134124
3540108505

書誌詳細を非表示

一般注記 Includes bibliographical references and index
著者標目  Richman, Fred, 1938-
分 類 LCC:QA3
LCC:QA9.56
DC19:510 s
DC19:511.3
NDC7:410.78
NDC7:410.12
件 名 LCSH:Constructive mathematics -- Congresses  全ての件名で検索
LCSH:Intuitionistic mathematics -- Congresses  全ての件名で検索
書誌ID TY00017042
ISBN 3540108505
NCID BA04000695