Delli, Serena
Logiche sottostrutturali e calcolo di Lambek [Documento electrónico] / Serena Delli ; Relatore Pierluigi Minari, correlatore Andrea Cantini
Logiche sottostrutturali e calcolo di Lambek [Documento electrónico] / Serena Delli ; Relatore Pierluigi Minari, correlatore Andrea Cantini
. - xxa Firenze xxa-fimyyc [s.n.] yyc-fim, 2015
. - 1 disco óptico (CD-ROM) 12 cm
. -
Lambek, Joachim,
Ono, Hiroakira,
Ciabattoni, Agata
Galatos, Nikolaos
Terui, Kazushige,
Filosofia
Lógica matemática
Cálculo
Álgebra
Teses de mestrado
164(043)