Automated Reasoning In Higher Order Logic Set Comprehension And Extensionality | Desertcart Paraguay
Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality in Church's Type Theory (Studies in Logic, Logic and Cognitive Systems)
ID del producto: 429154836
Transacción segura
Comprados juntos con frecuencia
Descripción
Preguntas comunes
Trustpilot
Trustscore 4.5 | Más de 7,300 reseñas
Rajesh P.
El servicio al cliente fue excelente cuando tuve preguntas sobre el producto.
Hace 2 días
Anita G.
Buena experiencia, pero las actualizaciones de seguimiento podrían ser mejores.
