Search
Now showing items 1-1 of 1
Demostraciones de consistencia y derivabilidad formal: a 60 años de las "investigaciones sobre la deducción lógica" de G. Gentzen
(Universidad Nacional de Córdoba, 1995-09)
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 ...