@article{RLIN_1995_9_6_2_a0,
     author = {De Giorgi, Ennio and Forti, Marco and Lenzi, Giacomo and Tortorelli, Vincenzo Maria},
     title = {Calcolo dei predicati e concetti metateorici in una teoria base dei fondamenti della {Matematica}},
     journal = {Atti della Accademia nazionale dei Lincei. Rendiconti Lincei. Matematica e applicazioni},
     pages = {79--92},
     publisher = {mathdoc},
     volume = {Ser. 9, 6},
     number = {2},
     year = {1995},
     zbl = {0833.03003},
     mrnumber = {345816},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RLIN_1995_9_6_2_a0/}
}