TY  - DATA
AU  - Lupacchini,Rossella
AU  - Corsi,Giovanna
TI  - Deduction, computation, experiment: exploring the effectiveness of proof 
SN  - 9788847007840 (libro electrónico)
PY  - 2008///
CY  - Milano
PB  - Springer
KW  - Teoría de la demostración
KW  - Modalidad (Lógica)
KW  - Matemáticas intuicionistas
KW  - Libros electrónicos
KW  - Local
N1  - Acceso sólo para usuarios de REDUNAM; Reproducción electrónica; Nueva York; Springer; [2009]
UR  - http://dx.doi.org/10.1007/978-88-470-0784-0
ER  -