Automated Deduction in Nonclassical Logics – Efficient Matrix Proof Methods etc: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Mit Press Series in Artificial I)
ID del producto: 519254060
Comprados juntos con frecuencia
Preguntas comunes
Recibí mi producto en perfectas condiciones. Excelente servicio en general.
Hace 1 mes
El servicio al cliente fue excelente cuando tuve preguntas sobre el producto.
Hace 2 días
Precios competitivos en una amplia gama de productos.
Sirviendo a más de 300 millones de compradores en más de 200 países
Opciones de pago confiables que adoran los compradores de todo el mundo
Opciones de pago confiables amadas por los compradores de todo el mundo.
Compre sobre la marcha, en cualquier momento y en cualquier lugar.