Imagen Principal
1

Teoría Clausular de Tipos (Tractados de Cambridge en Ciencia Computacional Teórica, Volumen 21)

Imagen ampliada