Programación Declarativa By chris_link Nov 4, 1870 Lógica Moderna La lógica moderna empezó con Gottlob Frege. Period: Nov 4, 1870 to Nov 4, 1945 Línea de Tiempo Nov 4, 1930 Deducción natural Nov 4, 1930 Lambda Cálculo Nov 4, 1932 Introducción Lambda Cálculo Nov 4, 1934 Introducción Deducción natural Nov 4, 1936 Turing escribió el famoso artículo de su maquina. Turing escribió el famoso artículo de la máquina que lleva su nombre.