From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics - Oxford Logic Guides - Laura Crosilla - Libros - Oxford University Press - 9780198566519 - 8 de diciembre de 2005
En caso de que portada y título no coincidan, el título será el correcto

From Sets and Types to Topology and Analysis: Towards practicable foundations for constructive mathematics - Oxford Logic Guides

Precio
Mex$ 5.284
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jul. - 10 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Laura Crosilla
Añadir a tu lista de deseos de iMusic

Aún no valorado

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)

Más del mismo editor