Techniques of Constructive Analysis |
|
| Author:
| Bridges, Douglas S.
Vita, Luminita Simona |
| Series title: | Universitext Ser. |
| ISBN: | 978-0-387-38147-3 |
| Publication Date: | Apr 2007 |
| Publisher: | Springer New York
|
| Imprint: | Springer |
| Book Format: | Ebook |
| List Price: | USD $69.99 |
Book Description:
|
This book is an introduction to constructive mathematics with an emphasis on techniques and results that have been obtained in the last twenty years. There is specific focus on techniques and themes, and the book includes many simplified or improved proofs.
This book is an introduction to constructive mathematics with an emphasis on techniques and results that have been obtained in the last twenty years. There is specific focus on techniques and themes, and the book includes many simplified or improved proofs.