Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007949624/catalog> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- catalog contributor b11020472.
- catalog created "1998.".
- catalog date "1998".
- catalog date "1998.".
- catalog dateCopyrighted "1998.".
- catalog description "Includes bibliographical references and indexes.".
- catalog description "pt. I. Philosophical Foundations. 1. Introduction and Statement of the Problem. 2. What's Wrong with Set Theory? 3. What's Wrong with Infinite Quantifiers? 4. Abstraction and Idealisation. 5. What are Constructions? 6. Truth and Proof of Logical Formulae. 7. The Need for a Theory of Constructions. 8. Theories of Constructions. 9. Hilbert's Formalism. 10. Open-endedness. 11. Analysis -- pt. II. The Theory of Constructions. 12. Introduction to Part II. 13. Design of the Term Language. 14. The Term Language. 15. From the Term Language to the Expanded Term Language. 16. The Expanded Term Language. 17. The Protological Sequent Calculus. 18. Commentary on the Protological Axioms and Rules. 19. From Protologic to Expanded Protologic.".
- catalog extent "ix, 469 p. :".
- catalog identifier "0792352629 (alk. paper)".
- catalog isPartOf "Synthese library ; v. 276".
- catalog issued "1998".
- catalog issued "1998.".
- catalog language "eng".
- catalog publisher "Dordrecht ; Boston : Kluwer Academic Publishers,".
- catalog subject "510/.1 21".
- catalog subject "Arithmetic.".
- catalog subject "Mathematical analysis.".
- catalog subject "Mathematics Philosophy.".
- catalog subject "QA8.4 .F63 1998".
- catalog tableOfContents "pt. I. Philosophical Foundations. 1. Introduction and Statement of the Problem. 2. What's Wrong with Set Theory? 3. What's Wrong with Infinite Quantifiers? 4. Abstraction and Idealisation. 5. What are Constructions? 6. Truth and Proof of Logical Formulae. 7. The Need for a Theory of Constructions. 8. Theories of Constructions. 9. Hilbert's Formalism. 10. Open-endedness. 11. Analysis -- pt. II. The Theory of Constructions. 12. Introduction to Part II. 13. Design of the Term Language. 14. The Term Language. 15. From the Term Language to the Expanded Term Language. 16. The Expanded Term Language. 17. The Protological Sequent Calculus. 18. Commentary on the Protological Axioms and Rules. 19. From Protologic to Expanded Protologic.".
- catalog title "Truth, proof and infinity : a theory of constructions and contructive reasoning / Peter Fletcher.".
- catalog type "text".