TY  - JOUR
AU  - De Giorgi, Ennio
AU  - Forti, Marco
AU  - Lenzi, Giacomo
AU  - Tortorelli, Vincenzo Maria
TI  - Calcolo dei predicati e concetti metateorici in una teoria base dei fondamenti della Matematica
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti Lincei. Matematica e applicazioni
PY  - 1995
SP  - 79
EP  - 92
VL  - 6
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RLIN_1995_9_6_2_a0/
LA  - it
ID  - RLIN_1995_9_6_2_a0
ER  -