Diferencia entre revisiones de «Lógica combinatoria»
Contenido eliminado Contenido añadido
m Correcciones menores, (WP:CEM) |
|||
Línea 301:
*[http://www.fing.edu.uy/inco/grupos/mf/TPPSF/Teoricos/CFPTT_T4.pdf Curry-Howard muy claro]
*[http://www.fing.edu.uy/inco/grupos/mf/TPPSF/Teoricos/CFPTT_T4.ppt
[[Categoría:Matemática]]
|