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 - Bueno Encuadernación de tapa dura

Vendido por thebookforest.com, San Rafael, CA, Estados Unidos de America

Vendedor de AbeBooks desde 3 de enero de 2023

Calificación del vendedor: 4 de 5 estrellas Valoración 4 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 - Bueno

Precio:
EUR 263,30
Envío por EUR 4,25
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito