bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI
Indice degli Autori
Home -> Boll. Un. Mat. Ital., Serie 8 -> Vol. 2-A (1999), n. 1S -> pp. 9-12

Referenza completa

Bellè, Dorella:
Il problema della decisione per teorie estensionali dell'appartenenza
Bollettino dell'Unione Matematica Italiana Serie 8 2-A (1999) —La Matematica nella Società e nella Cultura, fasc. n.1S —Supplemento Tesi di Dottorato, p. 9-12, Unione Matematica Italiana (Italian)
pdf (731 Kb), djvu (87 Kb).

Referenze Bibliografiche
[1] BELLÈ D. and PARLAMENTO F., Decidability \( {\exists}^{*}{\forall}^{*} \) class in the Membership Theory NWL, Gödel '96, Lecture Notes in Logic (1996), 183-194. | MR 1441110 | Zbl 0858.03015
[2] CANTONE D., FERRO A. and OMODEO E., Computable Set Theory. Vol 1, Oxford University Press, Int. Series of Monographs on Computer Science (1989). | MR 1060733 | Zbl 0755.03024
[3] OMODEO E., PARLAMENTO F. and POLICRITI T., Decidability of \( {\exists}^{*}{\forall}^{*} \)-sentences in Membership Theories, Mathematical Logic Quarterly, 1 (1996).
[4] PARLAMENTO F. and POLICRITI A., Expressing Infinity without Foundation, Journal of Symbolic Logic, 56 (1991), 1230-1235. | fulltext mini-dml | fulltext (doi) | MR 1136452 | Zbl 0744.03051
Home -> Boll. Un. Mat. Ital., Serie 8 -> Vol. 2-A (1999), n. 1S -> pp. 9-12

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