Legris, J. (1995). Demostraciones de consistencia y derivabilidad formal: A 60 años de las "investigaciones sobre la deducción lógica" de G. Gentzen. Web
Citación estilo ChicagoLegris, Javier. Demostraciones De Consistencia Y Derivabilidad Formal: A 60 Años De Las "investigaciones Sobre La Deducción Lógica" De G. Gentzen. 1995.
Cita MLALegris, Javier. Demostraciones De Consistencia Y Derivabilidad Formal: A 60 Años De Las "investigaciones Sobre La Deducción Lógica" De G. Gentzen. 1995.
Precaución: Estas citas no son 100% exactas.