Diferencia entre revisiones de «Lógica combinatoria»
Contenido eliminado Contenido añadido
Línea 226:
Nótese, sin embargo, tque esta transformación no es la transformación inversa de ninguna de las versiones de '''T'''[ ] que se han visto.
dale
== Indecidibilidad del Cálculo Combinatorio ==
| |||