TY  - GEN
AU  - Legris,J.
TI  - La lógica intuicionista como una lógica del conocimiento matemático
ER  -