Premium Members Get 10% Off and Earn Rewards Find Out More

Constructivism in Mathematics: An Introduction

Add to Wishlist

ISBN-10:: 0444705066
ISBN-13:: 9780444705068
Pub. Date:: 08/01/1988
Publisher:: Elsevier Science

ISBN-10:: 0444705066
ISBN-13:: 9780444705068
Pub. Date:: 08/01/1988
Publisher:: Elsevier Science

Constructivism in Mathematics: An Introduction

Paperback

$72.95

SHIP THIS ITEM
Qualifies for Free Shipping
PICK UP IN STORE
Check Availability at Nearby Stores

Available within 2 business hours

Product Details
Table of Contents

Product Details

ISBN-13:	9780444705068
Publisher:	Elsevier Science
Publication date:	08/01/1988
Series:	Studies in Logic and the Foundations of Mathematics , #121
Pages:	376
Product dimensions:	6.10(w) x 9.10(h) x 1.00(d)

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.

From the B&N Reads Blog

Page 1 of

Product Details

Table of Contents

Related Subjects

Customer Reviews