Vai ai contenuti. | Spostati sulla navigazione | Spostati sulla ricerca | Vai al menu | Contatti | Accessibilità

logo del sistema bibliotecario dell'ateneo di padova

Negri , Sara (1991) Semantica categoriale per la logica lineare. [Laurea vecchio ordinamento]

Per questo documento il full-text online non è disponibile.

Abstract

Il presente lavoro si colloca nell'ambito dello studio semantico della logica lineare. In particolare è stato scelto l'approccio categoriale che permette di studiare altre semantiche come casi particolari.

Item Type:Laurea vecchio ordinamento
Corsi di Laurea vecchio ordinamento:Facoltà di Scienze MM. FF. NN. > CL Matematica
Uncontrolled Keywords:semantica categoriale, logica lineare
Subjects:Area 01 - Scienze matematiche e informatiche > MAT/01 Logica matematica
Codice ID:10228
Relatore:Sambin , Giovanni
Data della tesi:1991
Biblioteca:Polo di Scienze > Biblioteca del Seminario Matematico
Collocazione:TESI.81
Tipo di fruizione per il documento:solo consultazione
Tesi sperimentale (Si) o compilativa (No)?:No

Solo per lo Staff dell Archivio: Modifica questo record