Descripción:
Cambridge University Press, 1989. 1. Hardcover. Good. Good; Hardcover; Covers are still glossy with a few small handling-marks/scratches; Clean textblock edges; There is light wrinkling and a thin, faint watermark to the bottom edge-margin of the text pagesThe endpapers and all text pages are clean and unmarked; The binding is excellent with a straight spine; This book will be shipped in a sturdy cardboard box with foam padding; Medium-Large Format (Quatro, 9.75" - 10.75" tall); 1.1 lbs; Teal covers with title in white lettering; 1989, Cambridge University Press; 192 pages; "Proofs and Types (Cambridge Tracts in Theoretical Computer Science)," by Jean-Yves Girard.
Foto de archivo: la portada puede ser diferente
Proofs and Types Tapa dura - 1989
de Jean-Yves Girard; Yves LaFont; Paul Taylor
Detalles
- Título Proofs and Types
- Autor Jean-Yves Girard; Yves LaFont; Paul Taylor
- Encuadernación Tapa dura
- Edición Revised Edition
- Páginas 192
- Volúmenes 1
- Idioma ENG
- Editorial Cambridge University Press, Cambridge
- Fecha de publicación April 28, 1989
- ISBN 9780521371810 / 0521371813
- Peso 1.1 libras (0.50 kg)
- Dimensiones 9.72 x 6.85 x 0.55 pulgadas (24.69 x 17.40 x 1.40 cm)
- Número de catálogo de la Librería del Congreso de EEUU 89006177
- Dewey Decimal Code 005.131
Más ejemplares
Foto de archivo: la portada puede ser diferente
Proofs and Types (Cambridge Tracts in Theoretical Computer Science)
de Jean-Yves Girard
- Usado
- good
- Tapa dura
- First
- Estado
- Usado - Good
- Edición
- 1
- Encuadernación
- Hardcover
- ISBN 10 / ISBN 13
- 9780521371810 / 0521371813
- Cantidad disponible
- 1
- Librería
-
Bellingham, Washington, United States
- Precio
-
EUR 186.56EUR 3.77 enviando a USA
Mostrar detalles
Precio
EUR 186.56
EUR 3.77
enviando a USA
Foto de archivo: la portada puede ser diferente
Proofs and Types (Cambridge Tracts in Theoretical Computer Science)
- Usado
- good
- Tapa dura
- First
- Estado
- Usado - Good
- Edición
- 1
- Encuadernación
- Hardcover
- ISBN 10 / ISBN 13
- 9780521371810 / 0521371813
- Cantidad disponible
- 1
- Librería
-
Bellingham, Washington, United States
- Precio
-
EUR 212.49EUR 3.77 enviando a USA
Mostrar detalles
Descripción:
Cambridge University Press, 1989. 1. Hardcover. Good. Good+; Hardcover; Covers are still glossy with a few light scratches; Foxing to the top textblock, otherwise unblemished textblock edges; Few small spot-marks to the endpapers, otherwise the endpapers and all text pages are clean and unmarked; The binding is excellent with a straight spine; This book will be shipped in a sturdy cardboard box with foam padding; Medium-Large Format (Quatro, 9.75" - 10.75" tall); 1.1 lbs; Teal covers with title in white lettering; 1989, Cambridge University Press; 192 pages; "Proofs and Types (Cambridge Tracts in Theoretical Computer Science)," by Jean-Yves Girard.
Precio
EUR 212.49
EUR 3.77
enviando a USA