%0 Journal Article %A Mundici, Daniele %T Natural limitations of algorithmic procedures in logic %J Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali %D 1980 %P 101-105 %V 69 %N 3-4 %I mathdoc %U http://geodesic.mathdoc.fr/item/RLINA_1980_8_69_3-4_a1/ %G en %F RLINA_1980_8_69_3-4_a1