Logic for computer science: Foundations of automatic theorem proving (Harper & Row computer science and technology series)
Gallier, Jean H
Vendido por The Book Spot, Sioux Falls, MN, Estados Unidos de America
Vendedor de AbeBooks desde 5 de febrero de 2013
Nuevos - Encuadernación de tapa dura
Condición: Nuevo
Cantidad disponible: 1 disponibles
Añadir al carrito