Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)

Thistlewaite, Paul B. Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer,

ISBN 10: 0273087819 ISBN 13: 9780273087816
Editorial: FT Prentice Hall
Idioma: Inglés
Condición: Usado - Bueno Encuadernación de tapa blanda

Vendido por AwesomeBooks, Wallingford, Reino Unido

Vendedor de AbeBooks desde 28 de noviembre de 2006

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

Precio: EUR 10,27 Convertir moneda
EUR 5,77 gastos de envío desde Reino Unido a Estados Unidos de America Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito