Imagen Principal
1

Lógica de Orden Superior y Verificación de Hardware (Tractos de Cambridge en Ciencia Computacional Teórica) - T. F. Melham

Imagen ampliada