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: | M | P
Numero di documenti: 3.

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

M

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

P

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