Error title
Some error text about your books and stuff.
Close

Truth, Proof and Infinity a Theory of Constructions and Contructive Reasoning

by Peter Fletcher

  • ISBN: 9780792352624
  • ISBN10: 0792352629

Truth, Proof and Infinity a Theory of Constructions and Contructive Reasoning

by Peter Fletcher

  • List Price: $269.00
  • Binding: Hardcover
  • Publisher: Kluwer Academic Pub
  • Publish date: 11/01/1998
  • ISBN: 9780792352624
  • ISBN10: 0792352629
used Add to Cart $88.45
You save: 67%
Marketplace Item
new Add to Cart $194.80
You save: 28%
FREE economy shipping!
Description: 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.- 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.- 20. Expanded Protologic.- 21. From Expanded Protologic to the Coding of Trees.- 22. The Coding of Trees.- 23. The Expanded Term Language as a Functional Programming Language.- 24. Introduction to Part III.- 25. From the Coding of Trees to Logic.- 26. Logic.- 27. From Logic to the Calculus of Proof Functions.- 28. Calculus of Proof Functions.- 29. From Calculus of Proof Functions to the Logic of Partial Terms.- 30. Logic of Partial Terms.- 31. From Logic of Partial Terms to Heyting Arithmetic.- 32. Heyting Arithmetic.- 33. From Heyting Arithmetic to Peano Arithmetic.- 34. Peano Arithmetic.- 35. Conclusions on Arithmetic.- 36. Introduction to Part IV.- 37. From Expanded Protologic to the Second-Order Coding of Trees.- 38. The Second-Order Coding of Trees.- 39. From the Second-Order Coding of Trees to Second-Order Logic.- 40. Second-Order Logic.- 41. From Second-Order Logic to Second-Order Calculus of Proof Functions.- 42. Second-Order Calculus of Proof Functions.- 43. From Second-Order Calculus of Proof Functions to Second-Order Logic of Partial Terms.- 44. Second-Order Logic of Partial Terms.- 45. From Second-Order Logic of Partial Terms to Second-Order Heyting Arithmetic.- 46. Second-Order Heyting Arithmetic.- 47. From Second-Order Heyting Arithmetic to Second-Order Peano Arithmetic.- 48. Second-Order Peano Arithmetic.- 49. Conclusions on Analysis.- References.- Index of symbols.- Index of axioms, theorems and rules of inference.- Index of names.- Index of topics.
Expand description
Seller Condition Comments Price  
Seller: Zubal Books
Location: Cleveland, OH
Condition: Like New
470 pp., Hardcover, fine in a very good dust jacket.
Price:
$88.45
Comments:
470 pp., Hardcover, fine in a very good dust jacket.
Seller: Ergodebooks
Location: Richmond, TX Ask seller a question
Condition: Good
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$152.81
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Seller: Ergodebooks
Location: Richmond, TX Ask seller a question
Condition: New
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
Price:
$154.19
Comments:
Buy with confidence. Excellent Customer Service & Return policy.Ships Fast. 24*7 Customer Service.
please wait
Please Wait

Notify Me When Available

Enter your email address below,
and we'll contact you when your school adds course materials for
.
Enter your email address below, and we'll contact you when is back in stock (ISBN: ).