ISBN-10:
0444702660
ISBN-13:
9780444702661
Pub. Date:
07/15/1988
Publisher:
Elsevier Science
Provability, Computability and Reflection

Provability, Computability and Reflection

Hardcover

Current price is , Original price is $72.95. You
Select a Purchase Option
  • purchase options

Product Details

ISBN-13: 9780444702661
Publisher: Elsevier Science
Publication date: 07/15/1988
Series: Studies in Logic and the Foundations of Mathematics Series , #1
Pages: 355
Product dimensions: 6.14(w) x 9.21(h) x 0.94(d)

Table of Contents

7. The Topology of Metric Spaces. 8. Algebra. 9. Finite Type Arithmetic and Theories of Operators. 10. Proof Theory of Intuitionistic Logic. 11. The Theory of Types and Constructive Set Theory. 12. Choice Sequences. 13. Semantical Completeness. 14. Sheaves, Sites and Higher Order Logic. 15. Applications of Sheaf Models. 16. Epilogue.

Bibliography. Index.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews