Legris, J. (2016). 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.
Cita Chicago Style (17a ed.)Legris, Javier. 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, 2016.
Cita MLA (8a ed.)Legris, Javier. 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, 2016.
Precaución: Estas citas no son 100% exactas.