Linear Logic in Computer Science

Ehrhard, Thomas (Editor)/ Girard, Jean-Yves (Editor)/ RUET, Paul (Editor)/ Scott, Philip (Editor)

ISBN 10: 0521608570 ISBN 13: 9780521608572

Editorial: Cambridge Univ Pr, 2004

Idioma: Ingl�s

Impresi�n bajo demanda

Nuevos Condici�n: Brand New Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por Revaluation Books, Exeter, Reino Unido

Vendedor de AbeBooks desde 6 de enero de 2003

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Nuevos - Encuadernaci�n de tapa blanda

Condici�n: Brand New

Precio: EUR 118,05 Convertir moneda

EUR 11,53 gastos de env�o desde Reino Unido a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

381 pages. 9.00x6.00x0.50 inches. In Stock. This item is printed on demand.

N� de ref. del art�culo __0521608570

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Linear Logic in Computer Science
Editor: Cambridge Univ Pr
Fecha de publicaci�n: 2004
Idioma: Ingl�s
ISBN 10: 0521608570
ISBN 13: 9780521608572
Encuadernaci�n: Paperback
Estado: Brand New

Acerca de

Sinopsis

This book illustrates linear logic in the application of proof theory to computer science.

Product Description

Book by None

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Edward Bowditch Ltd
Exstowe, Exton, Exeter, EX3 0PP, United Kingdom

Condiciones de venta y env�o

Condiciones de venta

Legal entity name: Edward Bowditch Ltd
Legal entity form: Limited company
Business correspondence address: Exstowe, Exton, Exeter, EX3 0PP
Company registration number: 04916632
VAT registration: GB834241546
Authorised representative: Mr. E. Bowditch

Condiciones de env�o

Orders usually dispatched within two working days.

M�todos de pago

A�adir una petici�n