Imagen de Amazon.com
From sets and types to topology and analysis : towards practicable foundations for constructive mathematics / edited by Laura Crossila and Peter Schuster
Tipo de material:
TextoSeries Oxford logic guides ; 48Editor: Oxford : Clarendon Press, 2005Descripción: xix, 350 páginas : ilustracionesTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 0198566514 (empastado)Tema(s): Matematicas constructivas -- CongresosClasificación CDD: 511.36 Clasificación LoC:QA9.56 | F76
| Tipo de ítem | Biblioteca actual | Colección | Clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|---|
Libros
|
Libros Libros | General | QA9.56 F76 (Navegar estantería(Abre debajo)) | 1 | Disponible | 8770 |
Total de reservas: 0
"This volume arose from the workshop, with the same title, held from 12 to 16 May, 2003 at Venice International University"--Pról.
No hay comentarios en este titulo.