Libro: A Proof Assistant For Logic (lecture Notes In 2283)
Disponible 19 días después de tu compra
+1000 ventas
Compra ProtegidaSe abrirá en una nueva ventana, recibe el producto que esperabas o te devolvemos tu dinero.
Preguntas y respuestas
¿Qué quieres saber?
Pregúntale al vendedor
Nadie ha hecho preguntas todavía. ¡Haz la primera!