First-Order Logic and Automated Theorem Proving

Fitting, Melvin

Editorial: Springer-Verlag [1990], New York, 1990
Condición: Usado Encuadernación de tapa dura

Vendido por Evening Star Books, ABAA/ILAB, Madison, WI, Estados Unidos de America

Miembro de asociación:

Vendedor de AbeBooks desde 9 de mayo de 2012

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: Very near Fine

Precio:
EUR 63,73
Envío por EUR 5,59
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito