
por Alonzo Church · 1941
Sinopsis
Presenta el cálculo lambda, un sistema formal en lógica matemática para expresar la computación basada en la abstracción de funciones, su aplicación y recursividad.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo

1936

1936

1940

1940

1940

1940

1941

1944

1956

1956

1956

1956

1956

1956

1971
Libros relacionados según distintos criterios de búsqueda