%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