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,
Vendido por AwesomeBooks, Wallingford, Reino Unido
Vendedor de AbeBooks desde 28 de noviembre de 2006
Usado - Encuadernación de tapa blanda
Condición: Very Good
Cantidad disponible: 1 disponibles
Añadir al carrito