Imagen Principal
1

Teoría Cláusula de Tipos (Tractos de Cambridge en Ciencia Computacional Teórica, Volumen 21) - D. A. Wolfram

Imagen ampliada