TY  - JOUR
AU  - Mundici, Daniele
TI  - Natural limitations of algorithmic procedures in logic
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
PY  - 1980
SP  - 101
EP  - 105
VL  - 69
IS  - 3-4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RLINA_1980_8_69_3-4_a1/
LA  - en
ID  - RLINA_1980_8_69_3-4_a1
ER  -