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 mini-DML, il progetto mini-DML sviluppato e mantenuto dalla cellula Math-Doc di Grenoble.

Per suggerimenti o per segnalare eventuali errori, scrivete a

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