Proponiamo una rassegna di alcuni aspetti degli sviluppi recenti della teoria della dimostrazione e dei suoi legami con l'informatica.
TORTORA DE FALCO, L. (2006). Sulla struttura logica del calcolo. RENDICONTI DI MATEMATICA E DELLE SUE APPLICAZIONI, VII (26), 367-404.
Sulla struttura logica del calcolo
TORTORA DE FALCO, LORENZO
2006-01-01
Abstract
Proponiamo una rassegna di alcuni aspetti degli sviluppi recenti della teoria della dimostrazione e dei suoi legami con l'informatica.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
