9780521318020-0521318025-Varieties of Constructive Mathematics (London Mathematical Society Lecture Note Series, Vol. 97) (London Mathematical Society Lecture Note Series, Series Number 97)

Varieties of Constructive Mathematics (London Mathematical Society Lecture Note Series, Vol. 97) (London Mathematical Society Lecture Note Series, Series Number 97)

ISBN-13: 9780521318020
ISBN-10: 0521318025
Edition: First Edition
Author: Douglas Bridges, Fred Richman
Publication date: 1987
Publisher: Cambridge University Press
Format: Paperback 160 pages
FREE US shipping
Buy

From $56.94

Book details

ISBN-13: 9780521318020
ISBN-10: 0521318025
Edition: First Edition
Author: Douglas Bridges, Fred Richman
Publication date: 1987
Publisher: Cambridge University Press
Format: Paperback 160 pages

Summary

Varieties of Constructive Mathematics (London Mathematical Society Lecture Note Series, Vol. 97) (London Mathematical Society Lecture Note Series, Series Number 97) (ISBN-13: 9780521318020 and ISBN-10: 0521318025), written by authors Douglas Bridges, Fred Richman, was published by Cambridge University Press in 1987. With an overall rating of 3.6 stars, it's a notable title among other Pure Mathematics (Mathematics) books. You can easily purchase or rent Varieties of Constructive Mathematics (London Mathematical Society Lecture Note Series, Vol. 97) (London Mathematical Society Lecture Note Series, Series Number 97) (Paperback) from BooksRun, along with many other new and used Pure Mathematics books and textbooks. And, if you're looking to sell your copy, our current buyback offer is $0.3.

Description

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 and theoretical computer scientists. This account for non-specialists in these and other disciplines.
Rate this book Rate this book

We would LOVE it if you could help us and other readers by reviewing the book