TY  - JOUR
AU  - Cellucci, Carlo
TI  - Operazioni di Brouwer e realizzabilità formalizzata
JO  - Annali della Scuola Normale Superiore di Pisa - Scienze Fisiche e Matematiche
PY  - 1971
SP  - 649
EP  - 682
VL  - 25
IS  - 4
PB  - Scuola normale superiore
UR  - http://www.numdam.org/item/ASNSP_1971_3_25_4_649_0/
LA  - it
ID  - ASNSP_1971_3_25_4_649_0
ER  -