Laurea

Antognoli, Benedetta (2014) Calcolo delle equazioni e ricorsività. [Laurea], Università di Bologna, Corso di Studio in Matematica [L-DM270], Documento ad accesso riservato.

Casadei, Lucia (2014) Logiche proposizionali polivalenti. [Laurea], Università di Bologna, Corso di Studio in Matematica [L-DM270], Documento ad accesso riservato.

Fiore, Daniele (2014) Logica dell'identità e delle descrizioni. [Laurea], Università di Bologna, Corso di Studio in Matematica [L-DM270]

Laurea magistrale

Frisoni, Federica (2014) Algoritmi e ricorsività: macchine di Turing e algoritmi di Markov. [Laurea magistrale], Università di Bologna, Corso di Studio in Matematica [LM-DM270]

Gobbi, Laura (2014) Una teoria degli insiemi non convenzionale: NFU. [Laurea magistrale], Università di Bologna, Corso di Studio in Matematica [LM-DM270], Documento ad accesso riservato.

Pastore, Dora (2014) L'assioma di scelta : Storia e influenza sulla matematica del novecento. [Laurea magistrale], Università di Bologna, Corso di Studio in Matematica [LM-DM270]

Zanoni, Laura (2014) La formula di Eulero per i poliedri fra storia e didattica. [Laurea magistrale], Università di Bologna, Corso di Studio in Matematica [LM-DM270]