Truth, proof, and infinity : a theory of constructions and contructive reasoning

著者

• Fletcher, Peter

書誌事項

Truth, proof, and infinity : a theory of constructions and contructive reasoning

Peter Fletcher

（Synthese library, v. 276）

Kluwer Academic, 1998

注記

Includes bibliographical references and indexes

詳細情報

• NII書誌ID(NCID): BA38845442
• ISBN:
  • 0792352629
• LCCN: 98036789
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Doedrecht ; Boston
• ページ数/冊数: ix, 469 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA8.4
  • DC21 : 510/.1
• 件名:
  • LCSH : Mathematics -- Philosophy
  • LCSH : Arithmetic
  • LCSH : Mathematical analysis
• 親書誌ID:
  • BA00017801