TL By Euceda Nov 4, 1870 Lógica Moderna La lógica moderna empezó con Gottlob Frege. Nov 4, 1930 Lambda Cálculo Nov 4, 1930 Deducción natural 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.