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/