Unification and structural completeness in intermediate logics / Vio, Nicolò. - (2023 Feb 24).
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.