Recomienda este artículo a tus amigos:
From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics - Oxford Logic Guides Laura Crosilla
From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics - Oxford Logic Guides
Laura Crosilla
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.
372 pages, numerous line drawings and mathematical examples
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 8 de diciembre de 2005 |
| ISBN13 | 9780198566519 |
| Editores | Oxford University Press |
| Páginas | 372 |
| Dimensiones | 163 × 243 × 26 mm · 703 g |
| Lengua | Inglés |
| Editor | Crosilla, Laura (Universite di Firenze) |
| Editor | Schuster, Peter (Mathematical Institut, Universitaet Munich) |