Legris, Javier
Deducción del conocimiento en los orígenes de la teoría de la demostración / Javier Legris
Programa de Hilbert
Deducción del conocimiento en los orígenes de la teoría de la demostración / Javier Legris
Programa de Hilbert