Higher Order Logic Theorem Proving And Its Applications

ISBN 10: 3540584501 ISBN 13: 9783540584506
Editorial: Springer, 1994
Idioma: Inglés
Nuevos Condición: New Encuadernación de tapa blanda

Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America

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

Vendedor de AbeBooks desde 17 de abril de 2013

Ver los artículos de este vendedor


Nuevos - Encuadernación de tapa blanda

Precio: EUR 45,82 Convertir moneda
Gratis gastos de envío desde Estados Unidos de America a España Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito