Documentación
De Seminario de Lógica Computacional (2018)
Revisión del 21:06 21 feb 2018 de WikiSysop (discusión | contribuciones) (Página creada con '== Documentación == * [https://softwarefoundations.cis.upenn.edu/lf-current/index.html Software foundations (Volume 1: Logical foundations)] * [http://www.seas.upenn.edu/~cis5...')