Haga clic en el enlace Notas de Matemática y Logica Constructiva (Streicher) para abrir el recurso.