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)