Vista normal Vista MARC Vista ISBD

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

Acceso sólo para usuarios de REDUNAM


Reproducción electrónica.
Nueva York :
Springer,
[2009]

ISBN: 9788847007840 (libro electrónico)

Subjects--Topical Terms:
Teoría de la demostración
Modalidad (Lógica)
Matemáticas intuicionistas

Index Terms--Genre/Form:
Libros electrónicos.