logic and computation: interactive proof with cambridge lcf (en Inglés)
paulson, lawrence c.
logic and computation: interactive proof with cambridge lcf (en Inglés)
Paulson, Lawrence C. (Autor) · cambridge university press · Libro Físico
$ 58.15
$ 64.99
Ahorras: $ 6.84
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
Ir a Mis Listaslogic and computation: interactive proof with cambridge lcf (en Inglés)
paulson, lawrence c.
¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.
