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 | D | F | G | M | N | P | S | U | V
Numero di documenti a questo livello: 23.

De Marchi, Ilaria (2018) Aspetti semantici e sintattici della logica paraconsistente. [Laurea triennale]

Gasparin, Veronica (2018) MODIFIED REALIZABILITY. [Laurea triennale]

Gui, Chiara (2018) L'opinione di Nicolas Bourbaki riguardo ai fondamenti della matematica. [Magistrali biennali]

A

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

Antonini, Maddalena (2019) Didattica della matematica: concezione e prospettive nella visione del costruttivismo dinamico. [Magistrali biennali]

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]

Borsetto, Riccardo (2019) Hedberg's Theorem in the Minimalist Foundation. [Magistrali biennali]

D

D’Annunzio, Ludovica (2019) Il teorema del linguaggio interno per teorie proposizionali. [Laurea triennale]

Defina , Francesco (2018) Teoria degli Origami: analisi di una teoria assiomatica. [Magistrali biennali]

F

Fontana, Giulia (2019) L' algebra di Boole dal 1854 ad oggi. [Laurea triennale]

Fornasiere, Damiano (2019) Embedding Concrete Spaces into Positive Topologies. [Laurea triennale]

Friscina, Daniela (2018) Validità intuizionistica della geometria euclidea. [Magistrali biennali]

G

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

Gemma, Francesco (2018) Locales and continuous valuations: a pointfree approach tomeasure theory. [Magistrali biennali]

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]

Mengato, Stefano (2017) On Logical connectives and quantifiers as adjoint functors. [Magistrali biennali]

N

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

P

Poloni, Giulia (2017) Ricerca della derivazione in logica proposizionale ntuizionista. [Magistrali biennali]

S

Schincariol, Simone (2018) Teoria di Galois da un punto di vista costruttivo. [Laurea triennale]

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 Sun Oct 13 23:43:05 2019 CEST.