Descripción:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; Martin-Lof Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. This volume, including one of Per Martin-Lof's earliest papers, celebrates the 25th anniversar
Foto de archivo: la portada puede ser diferente
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995 Tapa dura - 1998
de Giovanni Sambin; Jan M. Smith
Primera línea
The aim of this paper is to provide a way of extracting the constructive content of a certain family of classical proofs directly from the proofs themselves.
Detalles
- Título Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995
- Autor Giovanni Sambin; Jan M. Smith
- Encuadernación Tapa dura
- Edición First Edition
- Páginas 292
- Volúmenes 1
- Idioma ENG
- Editorial Clarendon Press, Oxford, United Kingdom
- Fecha de publicación 1998-12-10
- ISBN 9780198501275 / 0198501277
- Peso 1.29 libras (0.59 kg)
- Dimensiones 9.21 x 6.14 x 0.69 pulgadas (23.39 x 15.60 x 1.75 cm)
- Número de catálogo de la Librería del Congreso de EEUU 98029962
- Dewey Decimal Code 511.3
Más ejemplares
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress Held in Venice, October 1995
de Giovanni Sambin
- Nuevo
- Tapa dura
- Estado
- Nuevo
- Encuadernación
- Hardcover
- ISBN 10 / ISBN 13
- 9780198501275 / 0198501277
- Cantidad disponible
- 330
- Librería
-
Uxbridge, Greater London, United Kingdom
- Precio
-
EUR 101.73EUR 9.57 enviando a USA
Mostrar detalles
Precio
EUR 101.73
EUR 9.57
enviando a USA
Foto de archivo: la portada puede ser diferente
Twenty Five Years of Constructive Type Theory
de Giovanni Sambin
- Nuevo
- Tapa dura
- Estado
- Nuevo
- Encuadernación
- Hardcover
- ISBN 10 / ISBN 13
- 9780198501275 / 0198501277
- Cantidad disponible
- 10
- Librería
-
Southport, Merseyside, United Kingdom
- Precio
-
EUR 113.06EUR 11.91 enviando a USA
Mostrar detalles
Descripción:
Hardback. New. Martin-Lof Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. This volume, including one of Per Martin-Lof's earliest papers, celebrates the 25th anniversary of the birth of the subject.
Precio
EUR 113.06
EUR 11.91
enviando a USA
Foto de archivo: la portada puede ser diferente
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995 (Oxford Logic Guides)
de Sambin, Giovanni
- Usado
- Bien
- Tapa dura
- Estado
- Usado - Bien
- Encuadernación
- Hardcover
- ISBN 10 / ISBN 13
- 9780198501275 / 0198501277
- Cantidad disponible
- 1
- Librería
-
Newport Coast, California, United States
- Precio
-
EUR 146.16Envío gratuito a USA
Mostrar detalles
Descripción:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Precio
EUR 146.16
Envío gratuito a USA
Foto de archivo: la portada puede ser diferente
Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995 (Oxford Logic Guides, 36)
de Sambin, Giovanni; Smith, Jan M
- Nuevo
- Tapa dura
- Estado
- Nuevo
- Encuadernación
- Hardcover
- ISBN 10 / ISBN 13
- 9780198501275 / 0198501277
- Cantidad disponible
- 1
- Librería
-
San Diego, California, United States
- Precio
-
EUR 168.19EUR 5.16 enviando a USA
Mostrar detalles
Descripción:
Clarendon Press. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Precio
EUR 168.19
EUR 5.16
enviando a USA