bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI

Tesi di Dottorato

Bellè, Dorella
Il problema della decisione per teorie estensionali dell'appartenenza
Dottorato in Logica Matematica ed Informatica Teorica conseguito nel 1999 presso l'Università di Siena. Ciclo 8.
Relatore/i: Franco Parlamento, Università degli Studi di Udine
Sunto della tesi (pubblicato sul Bollettino)

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