Deduction, computation, experiment :  exploring the effectiveness of proof / 
Rossella Lupacchini, Giovanna Corsi (eds.) 
 - Milano :  Springer,  c2008 
 - 1 recurso en línea (xii, 279 páginas) :  ilustraciones 
<br/><br/> Acceso sólo para usuarios de REDUNAM 
<br/><br/><br/>Reproducción electrónica. <br/>Nueva York : <br/>Springer, <br/>[2009] 
<br/><br/><label>ISBN: </label>9788847007840 (libro electrónico) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Teoría de la demostración<br/>Modalidad (Lógica)<br/>Matemáticas intuicionistas
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Libros electrónicos.