jueves, abril 12, 2007

Las reglas de la deducción natural de conectores tipo GENTZEN

Lo siento este artículo ha cambiado de ubicación. Puedes encontrarlo en este otro link