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

Author(s)

• Richman, Fred

Bibliographic Information

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

Note

Includes bibliographical references and index

Details

• NCID: BA04000695
• ISBN:
  • 3540108505
  • 0387108505
• LCCN: 81009345
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York
• Pages/Volumes: vi, 347 p.
• Size: 25 cm
• Classification:
  • LCC : QA3
  • LCC : QA9.56
  • DC19 : 510 s
  • DC19 : 511.3
  • NDC7 : 410.78
  • NDC7 : 410.12
• Subject Headings:
  • LCSH : Constructive mathematics -- Congresses
  • LCSH : Intuitionistic mathematics -- Congresses
• Parent Bibliography ID:
  • BA00146586