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

logo del sistema bibliotecario dell'ateneo di padova
Livello superiore
Esporta come [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Vai a: A | B | G | M | N | U | V
Numero di documenti a questo livello: 9.

A

Andreatta, Denis (2004) Una applicazione della topologia formale ai metodi di ricerca. [Laurea vecchio ordinamento]

B

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

Bonotto, Cinzia (1978) Sinonimia in relazione al calcolo modale MCν. [Laurea vecchio ordinamento]

G

Gebellato, Silvia (1994) Precoperture, modalità e operatori di chiusura universale in un topos. [Laurea vecchio ordinamento]

Guidi, Ferruccio (1998) Il terzo teorema di Godel-Kreisel nella teoria intuizionistica dei tipi di Martin-Lof. [Laurea vecchio ordinamento]

M

Marconi, Umberto (1973) Anelli di funzioni continue a valori interi. [Laurea vecchio ordinamento]

N

Negri , Sara (1991) Semantica categoriale per la logica lineare. [Laurea vecchio ordinamento]

U

Unterholzner, Paola (1979) Semantica algebrica e relazionale per logiche bimodali. [Laurea vecchio ordinamento]

V

Valentini, Silvio (1977) L'uso del calcolo dei predicati per la scrittura di algoritmi. [Laurea vecchio ordinamento]

Questa lista e' stata generata il Thu Sep 18 08:19:35 2014 CEST.