-
Lógica Moderna
La lógica moderna empezó con
Gottlob Frege. -
Lambda Cálculo
-
Deducción natural
-
Introducción Lambda Cálculo
-
Introducción Deducción natural
-
Turing escribió el famoso artículo de su maquina.
Turing
escribió el famoso artículo de la máquina que lleva su
nombre.