Varieties of Constructive Mathematics |
|
| Author:
| Bridges, Douglas
Richman, Fred |
| Series title: | London Mathematical Society Lecture Note Ser. |
| ISBN: | 978-1-139-24213-4 |
| Publication Date: | May 2012 |
| Publisher: | Cambridge University Press
|
| Book Format: | Ebook |
| List Price: | Contact Supplier contact
|
Book Description:
|
This is an introduction to, and survey of, the constructive approaches to pure mathematics.
This is an introduction to, and survey of, the constructive approaches to pure mathematics.