Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980

著者

• Richman, Fred

書誌事項

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）

Springer-Verlag, 1981

• : Berlin
• : New York

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA04000695
• ISBN:
  • 3540108505
  • 0387108505
• LCCN: 81009345
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; New York
• ページ数/冊数: vi, 347 p.
• 大きさ: 25 cm
• 分類:
  • 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:
  • BA00146586