TY  - GEN
T1  - La condición del consecuente de la lógica de secuentes de Gentzen y la identificación de los teoremas intuicionistas
JF  - [Actas], 2003
IS  - Jornadas de Investigación en Filosofía (4 : 2002 : La Plata)
A1  - Durán, Cecilia
UL  - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dhu.EVENTO00265
ER  -