EARLY STRUCTURAL REASONING. GENTZEN 1932 | Publicación