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
Group by: Creators | Item Type | No Grouping
Number of items at this level: 23.

Laurea triennale

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

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

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

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

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

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

Laurea vecchio ordinamento

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

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]

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]

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

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

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

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

Magistrali biennali

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

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

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

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

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

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

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

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

This list was generated on Sun Nov 17 13:08:40 2019 CET.