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: 620761412
Transacción segura
Comprados juntos con frecuencia
Descripción
Preguntas comunes
Trustpilot
Trustscore 4.5 | Más de 7,300 reseñas
El rey F.
Tienda muy confiable con productos genuinos. ¡Seguro que volveré a comprar!
Hace 2 semanas
Aisha M.
El producto coincide exactamente con la descripción. Muy satisfecho con mi compra.
