Unification and structural completeness in intermediate logics / Vio, Nicolò; relatore: PIAZZA, Mario; Scuola Normale Superiore, ciclo 33, 24-Feb-2023.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Vio_thesis.pdf
accesso aperto
Tipologia:
Tesi PhD
Licenza:
Solo Lettura
Dimensione
1.56 MB
Formato
Adobe PDF
|
1.56 MB | Adobe PDF |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
