Proof Theory and Automated Deduction (Applied Logic Series)

Goubault-Larrecq, Jean

ISBN 10: 0792345932 ISBN 13: 9780792345930
Editorial: Springer, 1997
Idioma: Inglés
Condición: Usado - Aceptable Encuadernación de tapa dura

Vendido por Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido

Vendedor de AbeBooks desde 28 de abril de 2005

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 1.799,41
Envío por EUR 12,40
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito