Techniques of Constructive Analysis |
|
| Author:
| Bridges, Douglas S.
Vita, Luminita Simona |
| ISBN: | 978-0-387-33646-6 |
| Publication Date: | Jan 2006 |
| Publisher: | Springer
|
| Book Format: | Paperback |
| List Price: | AUD $90.95 |
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.