%0 Journal Article %A Palomar Tarancón, Juan-Esteban %T Algunas proposiciones finita y formalmente indemostrables. %J Gaceta matemática %D 1981 %P 39-40 %V 33 %N 3-4 %I mathdoc %U http://geodesic.mathdoc.fr/item/GAMA_1981_1981_1_a4/ %G es %F GAMA_1981_1981_1_a4