Artículos relacionados a Proofs and Types (Cambridge Tracts in Theoretical Computer...
Book by Girard JeanYves Lafont Yves Taylor Paul
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor:
This book is derived from notes prepared by J-Y.Girard for a course at the University of Paris VII. It deals with the mathematical background of the application to computer science of aspects of logic. It sheds light on traditional logic material and its prospective application to computer science.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialCambridge University Press
- Año de publicación1989
- ISBN 10 0521371813
- ISBN 13 9780521371810
- EncuadernaciónTapa dura
- Número de páginas192
- Valoración
Comprar nuevo
Ver este artículo
EUR 482,42
Gastos de envío:
EUR 4,01
A Estados Unidos de America
Los mejores resultados en AbeBooks
Imagen de archivo
Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
Publicado por
Cambridge University Press
(1989)
ISBN 10: 0521371813
ISBN 13: 9780521371810
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: new. Nº de ref. del artículo: FrontCover0521371813
Comprar nuevo
EUR 482,42
Convertir moneda
Imagen de archivo
Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
Publicado por
Cambridge University Press
(1989)
ISBN 10: 0521371813
ISBN 13: 9780521371810
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Hardcover. Condición: new. New Copy. Customer Service Guaranteed. Nº de ref. del artículo: think0521371813
Comprar nuevo
EUR 484,83
Convertir moneda
Imagen de archivo
Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
Publicado por
Cambridge University Press
(1989)
ISBN 10: 0521371813
ISBN 13: 9780521371810
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Hardcover. Condición: new. New. Nº de ref. del artículo: Wizard0521371813
Comprar nuevo
EUR 485,68
Convertir moneda
Imagen de archivo
Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
Publicado por
Cambridge University Press
(1989)
ISBN 10: 0521371813
ISBN 13: 9780521371810
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Hardcover. Condición: new. New. Fast Shipping and good customer service. Nº de ref. del artículo: Holz_New_0521371813
Comprar nuevo
EUR 771,10
Convertir moneda