Search
Now showing items 1-1 of 1
Entre finitismo e intuicionismo: Observaciones sobre los orígenes de la deducción natural
(Universidad Nacional de Córdoba, 1996-11)
La aparición del sistema de Deducción Natural a comienzos de la década del 1930 es un hecho en la historia de la lógica moderna que vale la pena destacar En efecto, la Deducción Natural trajo consigo una nueva concepción ...