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

Author(s)

• Fletcher, Peter

Bibliographic Information

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

Peter Fletcher

（Synthese library, v. 276）

Kluwer Academic, 1998

Note

Includes bibliographical references and indexes

Details

• NCID: BA38845442
• ISBN:
  • 0792352629
• LCCN: 98036789
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Doedrecht ; Boston
• Pages/Volumes: ix, 469 p.
• Size: 25 cm
• Classification:
  • LCC : QA8.4
  • DC21 : 510/.1
• Subject Headings:
  • LCSH : Mathematics -- Philosophy
  • LCSH : Arithmetic
  • LCSH : Mathematical analysis
• Parent Bibliography ID:
  • BA00017801