%0 Journal Article
%A Mangani, Piero
%T Calcoli generali con «tipi» e Logiche generalizzate
%J Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
%D 1984
%P 1-6
%V 76
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RLINA_1984_8_76_1_a0/
%G it
%F RLINA_1984_8_76_1_a0