Aguzzoli, Stefano
Temi geometrici e di teoria della dimostrazione nelle logiche proposizionali di Łukasiewicz
Dottorato in Logica Matematica ed Informatica Teorica conseguito nel 2000 presso l'Università di Siena. Ciclo 10.
Relatore/i: Prof. Franco Montagna, Università di Siena
Sunto della tesi (pubblicato sul Bollettino)
| Home -> Tesi di Dottorato -> 2000 -> Stefano Aguzzoli |
La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da mini-DML, il progetto mini-DML sviluppato e mantenuto dalla cellula Math-Doc di Grenoble.
Per suggerimenti o per segnalare eventuali errori, scrivete a zelati at unina dot it
Con il contributo del Ministero per i Beni e le Attività Culturali