TY  - JOUR
AU  - Mangani, Piero
TI  - Calcoli generali con «tipi» e Logiche generalizzate
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
PY  - 1984
SP  - 1
EP  - 6
VL  - 76
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RLINA_1984_8_76_1_a0/
LA  - it
ID  - RLINA_1984_8_76_1_a0
ER  -