Sfoglia per Relatore
Tipologia | Anno | Titolo | Titolo inglese | Autore | File |
---|---|---|---|---|---|
Lauree triennali | 2020 | Semantica categoriale delle logiche intuizionista e classica. | Categorical semantics of intuitionistic and classical logics | FERIGO, RAVI | |
Lauree magistrali | 2021 | Strutture implicative | Implicative Structures | AL NABER, AMIR | |
Lauree triennali | 2022 | Varianti della traduzione della doppia negazione di Goedel-Gentzen | Variants of Goedel-Gentzen's double negation translation | PIANTAVIGNA, ESTER |
Legenda icone
- file ad accesso aperto
- file ad accesso riservato
- file sotto embargo
- nessun file disponibile