%0 Journal Article
%A Cellucci, Carlo
%T Operazioni di Brouwer e realizzabilità formalizzata
%J Annali della Scuola Normale Superiore di Pisa - Scienze Fisiche e Matematiche
%D 1971
%P 649-682
%V 25
%N 4
%I Scuola normale superiore
%U http://www.numdam.org/item/ASNSP_1971_3_25_4_649_0/
%G it
%F ASNSP_1971_3_25_4_649_0