bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI
Indice degli Autori
Home -> Mat. Soc. Cult. Riv. Unione Mat. Ital., Serie 1 -> Vol. 1 (2008), n. 2 -> pp. 275-278

Referenza completa

Ciraulo, Francesco:
Soddisfacibilità costruttiva
La Matematica nella Società e nella Cultura. Rivista dell'Unione Matematica Italiana Serie 1 1 (2008), fasc. n.2 —Fascicolo Tesi di Dottorato, p. 275-278, (Italian)
pdf (220 Kb), djvu (43 Kb).

Referenze Bibliografiche
[1] COQUAND T., SADOCCO S., SAMBIN G. and SMITH J., Formal topologies on the set of first-order formulae, Journal of Symbolic Logic, 65 (2000), 1183-1192. | fulltext (doi) | MR 1791370 | Zbl 0965.03072
[2] JONSSON B. and TARSKI A., Boolean algebras with operators. Part I, American Journal of Mathematics, 73 (4) (1951), 891-939. | fulltext (doi) | MR 44502 | Zbl 0045.31505
[3] SAMBIN G., Pretopologies and completeness proofs, Journal of Symbolic Logic, 60 (1995), 861-878. | fulltext (doi) | MR 1348998 | Zbl 0839.03022
[4] SAMBIN G., The Basic Picture. A Structural Basis for Constructive Topology (including two papers with P. Martin-Lof and with V. Capretta), Oxford University Press, to appear in 2008.
[5] TAKEUTI G., Proof Theory, North-Holland (1975). | MR 536648
Home -> Mat. Soc. Cult. Riv. Unione Mat. Ital., Serie 1 -> Vol. 1 (2008), n. 2 -> pp. 275-278

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