Foundations of constructive mathematics : metamathematical studies

著者

• Beeson, Michael J.

書誌事項

Foundations of constructive mathematics : metamathematical studies

Michael J. Beeson

（Ergebnisse der Mathematik und ihrer Grenzgebiete, 3 . Folge ; Bd. 6）

Springer-Verlag, c1985

• U.S.
• Germany
• : pbk

注記

Bibliography: p. [439]-449

Includes indexes

• NII書誌ID(NCID): BA00496985
• ISBN:
  • 0387121730
  • 3540121730
  • 9783642689543
• LCCN: 84010583
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; New York
• ページ数/冊数: xxiii, 466 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA9.56
  • DC19 : 511.3
  • NDC8 : 410.96
  • NDC7 : 410.12
• 件名:
  • LCSH : Constructive mathematics
  • NDLSH : 記号論理学
• 親書誌ID:
  • BA00035552