Higher Order Logic Theorem Proving and its Applications (IFIP Transactions A: Computer Science and Technology)

ISBN 10: 0444898808 ISBN 13: 9780444898807
Editorial: North Holland, 1992
Idioma: Inglés
Condición: Usado - Excelente Encuadernación de tapa blanda

Vendido por Ammareal, Morangis, Francia

Vendedor de AbeBooks desde 29 de agosto de 2016

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 blanda

Condición: Usado - Excelente

Oportunidad
Precio:
EUR 80,99
Envío por EUR 20,50
Se envía de Francia a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito