Legris, J. <br/><br/>
La lógica intuicionista como una lógica del conocimiento matemático