Symbolic Logic and Mechanical Theorem Proving.
Chang, Chin-Liang / Richard Char-Tung Lee
Vendido por Antiquariat Tode, Berlin, Alemania
Vendedor de AbeBooks desde 10 de septiembre de 2015
Usado - Encuadernación de tapa dura
Cantidad disponible: 1 disponibles
Añadir al carrito