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

logo del sistema bibliotecario dell'ateneo di padova

Battilotti, Giulia (1990) Rappresentazione delle strutture algebriche complete corrispondenti alla logica lineare e intuizionista. [Laurea vecchio ordinamento]

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


Tipologia del documento:Laurea vecchio ordinamento
Corsi di Laurea vecchio ordinamento:Facoltà di Scienze MM. FF. NN. > CL Matematica
Parole chiave:strutture algebriche, logica lineare, logica intuizionista
Settori scientifico-disciplinari del MIUR:Area 01 - Scienze matematiche e informatiche > MAT/01 Logica matematica
Codice ID:10225
Relatore:Sambin , Giovanni
Data della tesi:1990
Biblioteca:Polo di Scienze > Biblioteca del Seminario Matematico
Collocazione:TESI.78
Tipo di fruizione per il documento:solo consultazione
Tesi sperimentale (Si) o compilativa (No)?:No

Solo per lo Staff dell Archivio: Modifica questo record

EPrints Logo
Padua@Thesis is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.