Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)

Chang, Chin-Liang; Lee, Richard Char-Tung

ISBN 10: 0121703509 ISBN 13: 9780121703509
Editorial: ACADEMIC PRESS, 1973
Idioma: Inglés
Condición: Usado - Excelente Encuadernación de tapa dura

Vendido por Reader's Corner, Inc., Raleigh, NC, Estados Unidos de America

Honoris Librarius
Vendedor de AbeBooks desde 11 de enero de 2000

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 - Excelente

Precio:
EUR 17,10
EUR 4,68 shipping
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito