Español
Lunes 31, diciembre, 2012

Paul Hertz and the Origins of Structural Reasoning


El trabjo es la introducción a la traducción inglesa del artículo "Über Axiomensysteme für beliebige Satzsysteme. I. Teil. Sätze ersten Grades", publicado en 1922 en Mathematische Annalen. El trabajo ubica la obra de Hertz en su contexto, presenta sus ideas fundantes del razonamiento estructural y señala las infuencias en la obra lógica de Gerhard Gentzen.

Compartir: