From Sets and Types to Topology and Analysis Towards Practicable Foundations for Constructive Mathematics |
|
| Editor:
| Crosilla, Laura
Schuster, Peter |
| Series title: | Oxford Logic Guides |
| ISBN: | 978-0-19-856651-9 |
| Publication Date: | Nov 2005 |
| Publisher: | Oxford University Press
|
| Book Format: | Hardback |
| List Price: | AUD $355.45AUD $454.00 |
Book Description:
|
This edited collection bridges the foundations and practice of constructive mathematics. Aimed at academic logicians, mathematicians, philosophers and computer scientists. Including, with contributions from leading researchers, it is up-to-date, highly topical and broad in scope.
This edited collection bridges the foundations and practice of constructive mathematics. Aimed at academic logicians, mathematicians, philosophers and computer scientists. Including, with contributions from leading researchers, it is up-to-date, highly topical and broad in scope.