Pais Falero, J. A. (2013). Diseño de asistente para derivaciones esquemáticas del sistema de deducción natural de lógica de primer orden.
Cita Chicago Style (17a ed.)Pais Falero, Jorge Andrés. Diseño De Asistente Para Derivaciones Esquemáticas Del Sistema De Deducción Natural De Lógica De Primer Orden. 2013.
Cita MLA (9a ed.)Pais Falero, Jorge Andrés. Diseño De Asistente Para Derivaciones Esquemáticas Del Sistema De Deducción Natural De Lógica De Primer Orden. 2013.
Precaución: Estas citas no son 100% exactas.
