Volver a los detalles del artículo
Síntese Construtiva de Programas Utilizando Lógica Institucionista e Dedução Natural
Descargar
Descargar PDF