Imagen Principal
1

Semántica y Lógica de la Computación (Publicaciones del Instituto Newton, Volumen 14)

Imagen ampliada