Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science, Series Number 2)

Libro 3 de 40: Cambridge Tracts in Theoretical Computer Science

Paulson, Lawrence C.

ISBN 10: 0521346320 ISBN 13: 9780521346320
Editorial: Cambridge University Press, 1987
Idioma: Inglés
Condición: Usado - Aceptable Encuadernación de tapa dura

Vendido por -OnTimeBooks-, Phoenix, AZ, Estados Unidos de America

Vendedor de AbeBooks desde 9 de marzo de 2023

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Ver los artículos de este vendedor


Usado - Encuadernación de tapa dura

Condición: Usado - Aceptable

Precio:
EUR 69,05
Gastos de envío gratis
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito