bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI

Tesi di Dottorato

Caminati, Marco Bright
A simplified framework for first-order languages
Dottorato in Matematica conseguito nel 2011 presso l'Università di Roma «La Sapienza». Ciclo 22.
Relatore/i: Rosolini, Giuseppe
Fulltext tesi: pdf (size: 1.02 MB) | djvu (size: 1.09 MB)

La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da Geodesic, progetto sviluppato e mantenuto da Math-Doc, Grenoble.

Per suggerimenti o per segnalare eventuali errori, scrivete a

logo MBACCon il contributo del Ministero per i Beni e le Attività Culturali