La lógica intuicionista como una lógica del conocimiento matemático

Legris, J.

La lógica intuicionista como una lógica del conocimiento matemático