Varieties of Constructive Mathematics
(Book #97 in the London Mathematical Society Lecture Note Series)
No Customer Reviews
This is an introduction to, and survey of, the constructive approaches to pure mathematics. The authors emphasise the viewpoint of Errett Bishop's school, but intuitionism. Russian constructivism and recursive analysis are also treated, with comparisons between the various approaches included where appropriate. Constructive mathematics is now enjoying a revival, with interest from not only logicans but also category theorists, recursive function theorists...
Format:Paperback
Language:English
ISBN:0521318025
ISBN13:9780521318020
Release Date:April 1987
Publisher:Cambridge University Press
Length:160 Pages
Weight:0.57 lbs.
Dimensions:0.5" x 6.1" x 9.2"
Customer Reviews
0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
