Automated Theorem-proving in Non-classical Logics (Research notes in theoretical computer science)
Thistlewaite, Paul B., Michael A. McRobbie and Robert K. Meyer:
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 15 de noviembre de 2018
Usado - Encuadernación de tapa blanda
Cantidad disponible: 1 disponibles
Añadir al carrito