Products Constructivism in Mathematics Book information Product description Author information and services Ordering information Bibliographic information Conditions of sale Volume information Volume 1 Volume 2 Book-related information Submit your book proposal Other books in same subject area Support & contact About Elsevier Select your view

	CONSTRUCTIVISM IN MATHEMATICS Volume 2 Included in series Studies in Logic and the Foundations of Mathematics, 123 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. Reviews Zentralblatt für Mathematik The favourable impression from the first volume is fully confirmed by this one. It introduces quite a number of notions, modern methods and results, with supporting reference to the literature... contains an extensive bibliography. Bibliographic & ordering Information Hardbound, xviii + 586 pages, publication date: JUL-2004 ISBN: 0-444-70358-6 Imprint: NORTH-HOLLAND Price and Ordering Price: EUR 143 USD 147 Books and book related electronic products are priced in US dollars (USD), euro (EUR), and Great Britain Pounds (GBP). USD prices apply to the Americas. EUR prices apply in Europe. GBP prices apply to the UK and all other countries. Customers who order on-line from the Americas will be invoiced in USD and all other countries will be invoiced in GBP. See also information about conditions of sale & ordering procedures, and links to our regional sales offices.