Sfoglia per Relatore  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 9 a 14 di 14
Tipologia Anno Titolo Titolo inglese Autore File
Lauree triennali 2021 Primi passi in analisi costruttiva: analogie e differenze con l'approccio classico First steps in constructive analysis: analogies and differencies with the classical approach ZOCCO, GIOVANNI
Lauree magistrali 2023 RANEY EXTENSIONS AS POINTFREE T_0 SPACES RANEY EXTENSIONS AS POINTFREE T_0 SPACES SUAREZ, ANNA LAURA
Lauree triennali 2021 Rappresentazione categoriale della quantificazione esistenziale e sua costruzione libera Categorical representation of existential quantification and its free costruction FERRO, CARLO
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
Mostrati risultati da 9 a 14 di 14
Legenda icone

  •  file ad accesso aperto
  •  file ad accesso riservato
  •  file sotto embargo
  •  nessun file disponibile