T�tulo: Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science, 78)
Editor: Springer
Fecha de publicaci�n: 1980
Idioma: Ingl�s
ISBN 10: 3540097244
ISBN 13: 9783540097242
Encuadernaci�n: paperback
Estado: New

Acerca de

Sinopsis

es un libro, ver nuestra descripci�n completa

"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

BennettBooksLtd
NV, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

Condiciones de env�o

Orders ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.