Demostraciones de consistencia y derivabilidad formal: a 60 años de las "investigaciones sobre la deducción lógica" de G. Gentzen

Mostrar todas las versiones(2)

El aporte de Gentzen en esta obra puede resumirse en los dos resultados siguientes. En primer lugar, las inferencias deductivas son analizadas en un conjunto de inferencias básicas, justificables por el significado mismo otorgado a las constantes lógicas. En segundo lugar, se establece que toda d...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Legris, Javier
Formato: conferenceObject
Lenguaje:Español
Publicado: Alberto Moreno 2016
Materias:
Epistemología
Historia de la ciencia
Acceso en línea:http://hdl.handle.net/11086/4284
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

Ejemplares similares