Geodesic
Soddisfacibilità costruttiva
La Matematica nella società e nella cultura, Série 1, Tome 1 (2008) no. 2, pp. 275-278.

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

@article{RIUMI_2008_1_1_2_a20,
     author = {Ciraulo, Francesco},
     title = {Soddisfacibilit\`a costruttiva},
     journal = {La Matematica nella societ\`a e nella cultura},
     pages = {275--278},
     publisher = {mathdoc},
     volume = {Ser. 1, 1},
     number = {2},
     year = {2008},
     zbl = {0965.03072},
     mrnumber = {1791370},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RIUMI_2008_1_1_2_a20/}
}
TY  - JOUR
AU  - Ciraulo, Francesco
TI  - Soddisfacibilità costruttiva
JO  - La Matematica nella società e nella cultura
PY  - 2008
SP  - 275
EP  - 278
VL  - 1
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RIUMI_2008_1_1_2_a20/
LA  - it
ID  - RIUMI_2008_1_1_2_a20
ER  - 
%0 Journal Article
%A Ciraulo, Francesco
%T Soddisfacibilità costruttiva
%J La Matematica nella società e nella cultura
%D 2008
%P 275-278
%V 1
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RIUMI_2008_1_1_2_a20/
%G it
%F RIUMI_2008_1_1_2_a20
Ciraulo, Francesco. Soddisfacibilità costruttiva. La Matematica nella società e nella cultura, Série 1, Tome 1 (2008) no. 2, pp. 275-278. http://geodesic.mathdoc.fr/item/RIUMI_2008_1_1_2_a20/

[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. | DOI | MR | Zbl

[2] Jonsson B. and Tarski A., Boolean algebras with operators. Part I, American Journal of Mathematics, 73 (4) (1951), 891-939. | DOI | MR | Zbl

[3] Sambin G., Pretopologies and completeness proofs, Journal of Symbolic Logic, 60 (1995), 861-878. | DOI | MR | Zbl

[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