adapting proofs-as-programs: the curry--howard protocol
poernomo, iman hafiz
·
springer
Ver Precio
Envío a todo Internacional
Reseña del libro
Opiniones del Libro
Opiniones sobre Buscalibre
{{ nombre_cliente }}
"{{ opinion }}"
Ver más opiniones de clientes