%0 Journal Article
%A De Giorgi, Ennio
%A Forti, Marco
%A Lenzi, Giacomo
%A Tortorelli, Vincenzo Maria
%T Calcolo dei predicati e concetti metateorici in una teoria base dei fondamenti della Matematica
%J Atti della Accademia nazionale dei Lincei. Rendiconti Lincei. Matematica e applicazioni
%D 1995
%P 79-92
%V 6
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RLIN_1995_9_6_2_a0/
%G it
%F RLIN_1995_9_6_2_a0