Geodesic
Operazioni di Brouwer e realizzabilità formalizzata
Annali della Scuola Normale Superiore di Pisa - Classe di Scienze, Série 3, Tome 25 (1971) no. 4, pp. 649-682

Voir la notice de l'article provenant de la source Numdam

@article{ASNSP_1971_3_25_4_649_0,
     author = {Cellucci, Carlo},
     title = {Operazioni di {Brouwer} e realizzabilit\`a formalizzata},
     journal = {Annali della Scuola Normale Superiore di Pisa - Classe di Scienze},
     pages = {649--682},
     publisher = {Scuola normale superiore},
     volume = {Ser. 3, 25},
     number = {4},
     year = {1971},
     mrnumber = {376309},
     zbl = {0242.02037},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/ASNSP_1971_3_25_4_649_0/}
}
TY  - JOUR
AU  - Cellucci, Carlo
TI  - Operazioni di Brouwer e realizzabilità formalizzata
JO  - Annali della Scuola Normale Superiore di Pisa - Classe di Scienze
PY  - 1971
SP  - 649
EP  - 682
VL  - 25
IS  - 4
PB  - Scuola normale superiore
UR  - http://geodesic.mathdoc.fr/item/ASNSP_1971_3_25_4_649_0/
LA  - it
ID  - ASNSP_1971_3_25_4_649_0
ER  - 
%0 Journal Article
%A Cellucci, Carlo
%T Operazioni di Brouwer e realizzabilità formalizzata
%J Annali della Scuola Normale Superiore di Pisa - Classe di Scienze
%D 1971
%P 649-682
%V 25
%N 4
%I Scuola normale superiore
%U http://geodesic.mathdoc.fr/item/ASNSP_1971_3_25_4_649_0/
%G it
%F ASNSP_1971_3_25_4_649_0
Cellucci, Carlo. Operazioni di Brouwer e realizzabilità formalizzata. Annali della Scuola Normale Superiore di Pisa - Classe di Scienze, Série 3, Tome 25 (1971) no. 4, pp. 649-682. http://geodesic.mathdoc.fr/item/ASNSP_1971_3_25_4_649_0/