Imagen Principal
1

Applied Logic in Computer Science: Springer-Verlag Edition

Imagen ampliada