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

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

ISBN 10: 0273087819 ISBN 13: 9780273087816
Editorial: FT Prentice Hall, 1988
Idioma: Inglés
Condición: Gut Encuadernación de tapa blanda

Librería: NEPO UG, Rüsselsheim am Main, Alemania

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 15 de noviembre de 2018

Ver los artículos de este vendedor


Usado - Encuadernación de tapa blanda

Precio: EUR 116,60 Convertir moneda
EUR 24,00 gastos de envío desde Alemania a Estados Unidos de America Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito