|
From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics
|
![](/rcimages/rc200big.jpg) (Buch) |
Dieser Artikel gilt, aufgrund seiner Grösse, beim Versand als 3 Artikel!
Inhalt: |
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. |
|